Es sei R {\displaystyle {}R} ein kommutativer Halbring und seien x 1 , … , x k ∈ R {\displaystyle {}x_{1},\ldots ,x_{k}\in R} Elemente und n ∈ N {\displaystyle {}n\in \mathbb {N} } .
Dann ist
