Es sei ${\displaystyle {}M}$ eine endliche Menge mit ${\displaystyle {}m}$ Elementen und es sei

${\displaystyle M\longrightarrow N}$

eine surjektive Abbildung in eine weitere Menge ${\displaystyle {}N}$. Zeige, dass dann auch ${\displaystyle {}N}$ endlich ist, und dass für ihre Anzahl ${\displaystyle {}n}$ die Abschätzung

${\displaystyle n\leq m}$