137

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