Es sei M ein Peano-Halbring und d≥1.
Dann gibt es zu jedem m∈M eindeutig bestimmte q,r∈M mit r<d und mit
