The yellow shape is a square. Prove the blue lines are perpendicular and the red line bisects the blue angle.