Es sei d {\displaystyle {}d} eine fixierte positive natürliche Zahl. Dann gibt es zu jeder ganzen Zahl n {\displaystyle {}n} eine eindeutig bestimmte ganze Zahl q {\displaystyle {}q} und eine eindeutig bestimmte natürliche Zahl r {\displaystyle {}r} , 0 ≤ r ≤ d − 1 {\displaystyle {}0\leq r\leq d-1} , mit
