# Which is the first theorem in Euclid's Elements which uses Pasch's Axiom?

I understand that Pasch's Axiom is missing from the Euclidean set of axioms, as Moritz Pasch first showed and David Hilbert told the world about. This means that there will be some theorems in the Elements which implicitly assumes that axiom. Which is the first one?

(Here Pasch's theorem is depicted, not Pasch's axiom)