Kurs:Diskrete Mathematik/Graph/Paarungen/Symmetrische Differenz/Fakt/Faktreferenznummer

Lemma 21.1 (Diskrete Mathematik (Osnabrück 2020))