ако q и t са положителни числа, qt + q + t не може да бъде
Нека qt + t + q  x добави 1 от двете страни : qt + t + q + 1  x + 1 tq + 1 ) + q + 1  x + 1 ( q + 1 ) ( t + 1 )  x + 1 минимална стойност на ( q + 1 )  2 минимална стойност на ( t + 1 )  2 следователно x + 1 не може да бъде основен заместител x от дадените опции:
add(add(multiply(const_1, const_2), add(const_1, const_2)), const_1)