Proposition: Charakterisierung bipartiter Matchings

Sei ein Graph.

Es gilt:
ist bipartit hat keinen Kreis ungerader Länge.