Kurs:Diskrete Mathematik/Baum/Blatt/Hinwegnahme/Fakt/Faktreferenznummer

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