Squares are constructed on the sides of a quadrilateral. Prove the red line segments are congruent and perpendicular. (Van Aubel’s theorem)