12.2 Geometric proof and congruence