1233

The blue shapes are squares. Prove the red lines are perpendicular.