Cancellation Criterion for Congruences