Kurs:Diskrete Mathematik (Osnabrück 2020)/Endliche Menge/1 bis k/Eins heraus/Fakt/Faktreferenznummer