The blue lines are the angle bisectors of the yellow quadrilateral. Prove the red shape is a rectangle.