Introduction to Proof Using Properties of Congruence