Squares ABDE and BCFG are constructed on the sides AB and BC of a triangle ABC, O is the midpoint of AC. Prove that OM and ON are congruent and perpendicular. See the proof.