Endliche Menge/Schubfachprinzip/Fakt/Name