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