Sei ${\displaystyle {}d}$ eine fixierte positive natürliche Zahl.

Dann gibt es zu jeder ganzen Zahl ${\displaystyle {}n}$ eine eindeutig bestimmte ganze Zahl ${\displaystyle {}q}$ und eine eindeutig bestimmte natürliche Zahl ${\displaystyle {}r}$, ${\displaystyle {}0\leq r\leq d-1}$, mit