Parallelism implies Equal Alternate Angles, Corresponding Angles, and Supplementary Interior Angles

Theorem

 * A straight line falling on parallel straight lines makes the alternate angles equal to one another, the exterior angle equal to the interior and opposite angle, and the interior angles on the same side equal to two right angles.

Worded in more contemporary language: