In all of the cases we assumed that angle BOM is acute. In the cases where angle BOM is obtuse

we work with the vertical angles at the top of this figure, and since vertical angles are the same size by Theorem 5.11, the results will follow the same as before.

Theorem 5.12

next theorem (5.13)