The yellow, blue, and green shapes are squares. Prove the red line segments are congruent and perpendicular.