553

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