Lemma 1.4
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 1 Endliche Menge/Schubfachprinzip/Fakt