ако x и y са цели числа, така че x  2  3 y и xy  36 , тогава x – y  ?
Тук x и y са цели числa . x  2  3 y , xy  36 . заместител ( x  2 ) / 3  y в xy  > x  3  36 * 3  > x  3  108 . тук x  3 е положително , x  6 след това y  6 . x - 0 y е така.
subtract(power(multiply(36, 3), const_0_33), divide(36, power(multiply(36, 3), const_0_33)))