Kurs:Diskrete Mathematik/Graph/Baum/Charakterisierung/Fakt/Faktreferenznummer

Satz 17.22 (Diskrete Mathematik (Osnabrück 2020))