789

The green shape is a parallelogram. Prove the red line bisects the blue angle.