Изменения
→Деление
<tex> \mathrm{divmax}(0,y) =\mathrm{Z}(y) </tex>
<tex>\mathrm{divmax}(x,y) =\mathrm{if}(\mathrm{eq}(\mathrm{sub}(\mathrm{N}(x-1),\mathrm{divmax}(x-1,y)),y),</tex><tex>\mathrm{N}(x-1),\mathrm{divmax}(x-1,y))</tex>
Теперь само деления
