ако x  y  z и y - x > 9 , където x е четно цяло число, а y и z са нечетни числа , каква е най-малката възможна стойност на z - x ?
Имаме: 1 x  y  z 2 ) y - x > 9 3 ) x  2 k ( x е четно число ) y  2 n + 1 ( y е нечетно число ) 6 z - x  ? най-малка стойност z - x  2 ?
add(add(9, const_2), const_2)