Se consideră două unghiuri adiacente suplementare AOB și BOC. Fie OX și OY bisectoarele unghiurilor AOB, respectiv BOC. Demonstrează că OX e perpendicular cu OY.​