Изменения

<tex> \textbf 0^{n}(x_1,\ldots,x_{n-1},y) = \mathrm{Z}(y) </tex>

Теперь вместо функции <tex>\mathrm{Z}(x)</tex> будем использовать константу <tex>\textbf 0</tex>, обозначив ее как <tex>\mathrm{Z}(x)</tex>.