Parallel lines cut by transversal corresponding angles are equal