Kurs:Diskrete Mathematik (Osnabrück 2020)/Endliche Menge/Schubfachprinzip/Fakt/Faktreferenznummer