Lemma 21.11
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 21 Graph/Paarungszahl/Knotenüberdeckungszahl/Vergleich/Fakt