Es sei R {\displaystyle {}R} ein kommutativer Halbring. Zeige, dass
ist (mit einer beliebig langen Summe von Einsen).