Axiom of corresponding angles: If a transversal intersects two parallel lines, then each pair of corresponding angles are equal.