In other treatments of elementary geometry, using different sets of axioms, Pasch's axiom can be proved as a theorem; it is a consequence of the plane separation axiom when that is taken as one of the axioms.
In other geometry textbooks, Pasch's axiom can be proven as a theorem; it is derived from the plane separation axiom when that axiom is considered one of the axioms.