Alternate interior angles theorem