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.
Proof
The first use of Postulate 5: any contrary supposition contradicts the
parallel postulate via I.13.