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