Sei ${\displaystyle {}M}$ ein Peano-Halbring und ${\displaystyle {}d\geq 1}$.

Dann gibt es zu jedem ${\displaystyle {}m\in M}$ eindeutig bestimmte ${\displaystyle {}q,r\in M}$ mit ${\displaystyle {}r}$, ${\displaystyle {}r<d}$, und mit