Es sei R {\displaystyle {}R} ein kommutativer Halbring und a , b ∈ R {\displaystyle {}a,b\in R} . Ferner sei n {\displaystyle {}n} eine natürliche Zahl.
Dann gilt