673

The blue shape is a square. Prove the red lines are perpendicular.