Endliche Menge/Schubfachprinzip/Fakt/Name/Inhalt

Es sei ${}M$ eine endliche Menge mit ${}m$ Elementen und ${}N$ eine endliche Menge mit ${}n$ Elementen. Es sei ${}m>n$. Dann gibt es keine injektive Abbildung

$M\longrightarrow N.$