\
are alternate interior angles.