| A | B |
| Line Intersection Thm. | Two different lines intersect in at most one point |
| LInear Pair Thm. | If two angles form a linear pair, then they are supplementary. |
| Vertical Angles Thm. | If two angles are vertical angles then they have equal measures. |
| Parallel Lines and Slopes Thm. | Two non-vertical lines are parallel iff they have the same slope. |
| Transivity of Parallelism Thm. | In a plane if l//m and m//n then l//n. |
| Two Perpindiculars Thm. | If two coplanar lines l and m are each perpindicular to the same line then they are parallel to each other. |
| Perpindicular to Parallels Thm. | In a plane if a line is perpindicular to one of two parallel lines then it is also perpinducular to the other. |
| Perpindicular Lines and Slopes Thm. | Two non-vertical lines are perpindicular iff the product of their slopes is -1. |
| Figure Reflection Thm. | If a figure is determined by certain points then it is reflection image is the corresponding figure determined by the reflection images of those points. |
| Two Reflection Thm. for Translations | If m//l the translation rm. rl has magnitude two times |