Kurs:Diskrete Mathematik/Endliche Menge/1 bis k/Eins heraus/Fakt/Faktreferenznummer

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