1703

The yellow and green shapes are squares. Prove the red lines are perpendicular.