Изменения

<tex> \textbf 0^{n}(x_1,\ldots,x_{n-1},y+1) = \mathrm{h}(x_1,\ldots,x_{n-1},\textbf 0^{n}(y)) </tex>, где <tex> \mathrm{h}(x_1,\ldots, x_n,y) = y </tex>

Константа <tex> \textbf M </tex> равна <tex> \mathrm{N}(\textbf{M-1}) </tex>