Conjectures that lead to Theorems 2.5. Definition Vertical angles are the opposite angles formed by two intersecting lines. Vertical angles are the opposite.
Building a System of Geometry Knowledge 2.4. Algebraic properties.