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