ако x и t са цели числа и 2 x – t  11, тогава 4 x + t не може да бъде
2 x - t  11 . . . t  2 x - 11 4 x + t  4 x + 2 x - 11  6 x - 11  - 11 . . x  1 6 x - 11 . . x  2 6 x - 11 . . . x  4 x . . .
add(add(4, 11), 2)