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