2094

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