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