Kurs:Diskrete Mathematik/Ungerichteter Graph/Grad/Summe/Kantenanzahl/Fakt/Faktreferenznummer

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