| A | B |
| Supplement (or Linear Pair) Theorem | two angles that form a linear pair are supplementary angles. |
| Congruent Supplement Theorem | Angles supplementary to the same angle or to congruent angles are congruent. |
| Congruent Complement Theorem | Angles complementary to the same angle or to congruent angles are congruent. |
| All right angles are ... | congruent. |
| Vertical Angle Theorem | Vertical angles are congruent. |
| Perpendicular lines intersect to form ... | four right angles |
| Complement Theorem | two angles that form a right angle are complementary |
| Law of Detachment | If a conditional is true and its hypothesis is true, then its conclusion is true. |
| Law of Syllogism | If p -> q and q -> r are true, then p -> r is also true. |
| Addition Property of Equality | If a = b, then a + c = b + c. |
| Subtraction Property of Equality | If a = b, then a – c = b – c. |
| Multiplication Property of Equality | If a = b, then a · c = b · c. |
| Division Property of Equality | If a = b, then a/c = b/c. |
| Distributive Property | a(b + c) = ab + ac. |
| Reflexive Property | a = a |
| Symmetric Property | If a = b, then b = a. |
| Transitive Property | If a = b and b = c, then a = c. |
| Substitution Property | If a = b, then a may be replaced by b in any equation or expression. |
| Complement Theorem | Two angles that form a right angle are complementary. |