Aufgrund von Fakt liegt ein natürlicher Gruppenisomorphismus vor, der wegen Fakt auch die Multiplikation respektiert, also ein Ringhomomorphismus ist.
