The blue angles are completments. The green angles are completments. Prove the red line is perpendicular to a side of the quadrialteral.