Trace Comparison Theorem for Projections in a Finite Factor