Reasons for proving congruence