Изменения

<tex> \mathrm{divmax}(x+1,y) = \mathrm{if}(\mathrm{eq}(\mathrm{sub}(\mathrm{N}(x),\mathrm{divmax}(x,y)),y),\mathrm{N}(x),\mathrm{divmax}(x,y)) </tex>

Теперь само деления

<tex> \mathrm{divide}(x,y) = \mathrm{h}(x,y,\mathrm{divide}(x,y)) </tex>, где <tex> \mathrm{h}(x,y,z) = \mathrm{sum}(z,\mathrm{eq}(\mathrm{N}(x),\mathrm{divmax}(\mathrm{N}(x),y))) </tex>

Остаток от деления выражается так: