Die offene Menge G ⊆ V {\displaystyle {}G\subseteq V} enthalte mit je zwei Punkten die Verbindungsgerade. Ferner gelte
für alle P ∈ G {\displaystyle {}P\in G} . Dann gilt für P , Q ∈ G {\displaystyle {}P,Q\in G} die Abschätzung