Es sei M {\displaystyle {}M} ein kommutativer Halbring. Zeige, dass es eine eindeutig bestimmte (kanonische) Abbildung