Ungerichteter Graph/Kreis/Kein Blatt/Fakt

Es sei ein Graph und ein Blatt des Graphen.

Dann ist in keinem Kreis von enthalten.