1388

Prove the red line bisects an angle of the rectangle.