Bisectors of Adjacent Angles between Straight Lines Meeting at Point are Perpendicular

Corollary to Two Angles on Straight Line make Two Right Angles
If a straight line meets another straight line, the bisectors of the two adjacent angles between them are perpendicular.