Why did Euclid not need the Pasch axiom?

An axiom system for Euclidean geometry with Euclid’s version of the parallel postulate, in which the order axioms are introduced in terms of the separation a line introduces in the plane, as pioneered by Sperner (Math Ann 121:107–130, 1949), in which the compass can be used only to transport segments, which lacks the Pasch axiom, is shown to imply the Pasch axiom due to the very form in which Euclid chose to express his fifth postulate. This shows, as first noted without proof by Salvatore di Noi in that same year 1949, that Euclid did not need the Pasch axiom.