Congruence and Proof