Dies folgt aus Fakt angewandt auf die R {\displaystyle {}R} -Algebra B = R [ N ] {\displaystyle {}B=R[N]} und den zusammengesetzten Monoidhomomorphismus M → φ N → R [ N ] {\displaystyle {}M{\stackrel {\varphi }{\rightarrow }}N\rightarrow R[N]} .
![{\displaystyle {}B=R[N]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0950c7825dceabfd21dcebf078c8bcafcf609ecd)
![{\displaystyle {}M{\stackrel {\varphi }{\rightarrow }}N\rightarrow R[N]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/251322fb27ff413df2d448508c203cf9c4400baa)