eines der Stetigkeitsaxiome der Geometrie, das sichert, daß sich jede beliebige Strecke durch genügend häufiges Abtragen einer anderen (ebenfalls beliebigen) Strecke mit einem gemeinsamen Anfangspunkt „übersehreiten“ läßt:

Es seien \(\overline{AB}\)und \(\overline{CD}\)beliebige Strecken. Dann existieren Punkte A₁, A₂, …A_nauf der Halbgeraden AB⁺derart, daß

\begin{eqnarray}\bar{A{A}_{1}}\cong \bar{{A}_{1}{A}_{2}}\cong \bar{{A}_{n-1}{A}_{n}}\cong \overline{CD}\end{eqnarray}

\begin{eqnarray}B\in \bar{A{A}_{n}}.\end{eqnarray}