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