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