| A | B |
| corresponding angles postulate | (Postulate) If two parallel lines are cut by a transversal, then the pairs of corresponding angles are congruent |
| alternate interior angles theorem | (theorem) If two parallel lines are cut by a transversal, then the pairs of alternate interior angles are congruent |
| consecutive interior angles theorem | (theorem) If two parallel lines are cut by a transversal, then the pairs of consecutive interior angles are supplementary |
| alternate exterior angles theorem | (theorem) If two parallel lines are cut by a transversal, then the pairs of alternate exterior angles are congruent |
| perpendicular transversal theorem | (theorem) If a transversal is perpendicular to one of two parallel lines, then it is perpendicular to the other |
| corresponding angles converse postulate | (postulate) If two lines are cut by a transversal so that corresponding angles are congruent, then the lines are parallel |
| alternate interior angles converse theorem | (theorem) If two lines are cut by a transversal so that alternate interior angles are congruent, then the lines are parallel |
| consecutive interior angles converse theorem | (theorem) If two lines are cut by a transversal so that consecutive interior angles are supplementarythen the lines are parallel |
| alternate exterior angles converse theorem | (theorem) If two lines are cut by a transversal so that alternate exterior angles are congruent, then the lines are parallel |
| slopes of parallel lines postulate | (postulate) In a coordinate plane, two nonvertical lines are parallel if and only if they have the same slope |
| slopes of perpendicular lines postulate | (postulate) In a coordinate plane, two nonvertical lines are perpendicular if and only if the product of their slopes is -1 |