M7 - Congruence, Construction, and Proof