Изменения

<tex> prod(x,y+1) = h(x,y,prod(x,y)) </tex>, где <tex> h(x,y,z)=sum(P_{3,1}(x,y,z),P_{3,3}(x,y,z))</tex>==== Вычитания ====Если <tex> x < y </tex>, то <tex> sub(x,y) = 0 </tex> , иначе <tex> sub(x,y) = x - y </tex>. Рассмотрим сначала вычитания единицы <tex> sub_{1}(x) = x - 1 </tex>  <tex> sub_1(0) = \textbf 0 </tex> <tex> sub_1(x+1) = h(x,sub_1(x)) </tex>, где <tex> h(x,y) = P_{2,1}(x,y) </tex>