Proposition: Charakterisierung per Kreisfreiheit und Zerstörung dieser

Sei ein Graph.

Es gilt:
ist ein Baum ist kreisfrei und das Hinzufügen einer beliebigen Kante führt zu einem Kreis (zerstört die Kreisfreiheit).