Zu jeder natürlichen Zahl ${\displaystyle {}n}$

gibt es eindeutig bestimmte natürliche Zahlen ${\displaystyle {}k}$ und ${\displaystyle {}r_{0},r_{1},r_{2},\ldots ,r_{k}}$ mit ${\displaystyle {}0\leq r_{i}\leq 9}$ und mit ${\displaystyle {}r_{k}\neq 0}$ (außer bei ${\displaystyle n=0}$) mit der Eigenschaft