1308

Prove the red altitudes of the yellow triangle are the angle bisectors of the blue triangle.