Изменения

==== Деление ====

<tex> divide(x,y) = \frac{x}{y} </tex>, если <tex> y > 0 </tex>, иначе <tex> divide(x,y) = 0 </tex>

Сначала выразим <tex> eq(x,y) </tex> .

<tex> eq(x,y) = 0 </tex> если <tex> x = y </tex>, иначе <tex> eq(x,y) = 1 </tex>