ако x и y са цели числа, така че x  2 y и xy  32 , тогава x – y  ?
"тук x и y са цели числa . x  2  2 y , xy  32 . заместител ( x  2 ) / 2  y в xy  > x  3  32 * 2  > x  3  64 . тук x 3 е положително , x  4 тогава y  8 . x - y е така
subtract(power(multiply(32, 2), const_0_33), divide(32, power(multiply(32, 2), const_0_33)))