Wende Fakt auf den kanonischen Ringhomomorphismus Z → R {\displaystyle {}\mathbb {Z} \rightarrow R} zu einem kommutativen Ring R {\displaystyle {}R} an.