It can, however, be derived from weaker axioms of plane separation taken for granted by Euclid, as shown in Pambuccian 2024 Pambuccian, Victor (2024), "Why did Euclid not need the Pasch axiom?.", Journal of Geometry (115), doi:10.1007/s00022-024-00712-x