The red vertex of the yellow triangle is reflected about its opposite side. Prove the red line bisects the blue angle.