Изменения
→n -местный ноль
<tex> \textbf 0^{n}(x_1,\ldots,x_{n-1},y+1) = h(x_1,\ldots,x_{n-1},\textbf 0^{n}(y)) </tex>, где <tex> h(x,y) = P_{n,n}(x,y) </tex>
Константа <tex> \textbf M </tex> равна <tex> I(\textbf({M-1)}) </tex> <tex> \textbf M^n </tex> - n местная константа получается аналогичным образом.
==== Сложения ====