Für eine Knotenfolge seien die folgenden drei Bedingungen wahr: stützt für für für Dann gilt die Behauptung: In ist ein Pfad erlaubt.
Dann gilt die Behauptung:
In ist ein Pfad erlaubt.