Die Äquivalenz der Zusammenhangseigenschaft folgt aus Fakt. Ein Kreis in G ∖ b {\displaystyle {}G\setminus b} ist direkt ein Kreis in G {\displaystyle {}G} . Die Umkehrung folgt aus Fakt.
ist direkt ein Kreis in 
. Die Umkehrung folgt aus
Fakt.
