Lemma:
Seien Mengen und eine Abbildungen. Die Relation auf gegeben durch
ist eine Äquivalenzrelation.
Satz
Seien endliche Mengen, eine Abbildung. Ist , dann gibt es ein mit
Bemerkung
Sind Mengen und gilt , so gibt es wenigstens eine inejktive Abbildung