For every line l and every point P not on l, there is a unique line m, that passes through P and does not intersect (is parallel to) l.
If a straight line intersecting two straight lines makes the interior angles on the same side less than two right angles, then the two lines (if extended indefinitely) will meet on that side on which are the angles less than two right angles.
Show that these two postulates are equivalent on the plane.