NC.M2.G-CO.9b: When a transversal crosses parallel lines, alternate interior angles are congruent.