Um diesen Beweis soll man aber herumkommen durch Einführung [de| ] Relation R die die Klassen einander 1→1 zuordnet.