Proposition: Charakterisierung per Knoten/Kantenmenge und Kreisfreiheit

Sei ein Graph.

Es gilt:
ist ein Baum ist kreisfrei und