Sei ein Graph, der auf einer orientierbaren kompakten Oberfläche der Gattung g eingebettet ist, so dass die Einbettung zellulär ist. Betrachten Sie das Dual des Graphen G ∗ . Lassen C 1 und C 2 disjunkte Zyklen in seinem G * , die miteinander homotope sind und lassen E 1 und E 2 die entsprechenden Kantenmengen in seine G verbunden. Ist G ∖ ( E 1 ∪ E 2 ) ein nicht verbundener Graph?