例えば
x*y → (x÷1)÷(1÷y) ただしx,yに0が含まれる場合は0に置き換える
x+y → (x-1)-(1-1-1-1)-(1-y)
正の整数n → (1-(1-1-1-…-1)-1)
の変形を用いて先ほどの式から*と+を排除し正の整数表記を変更する