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