Postulate 5: "If a line segment intersects two straight lines,
forming two interior angles on the same side that sums to less
than two right angles,
then the two lines,
if extended indefinitely,
meet on that side on which the angles sum to less than two right
angles
Postulate 1: "To draw a line from any point to any point"
(From my forthcoming book"Travels with Euclid on a roughly spherical
world"... )