ако x и y са положителни числа и y  1 , тогава xy ( y  1 ) е
"expression is xy ( y - 1 ) . можем да игнорираме x и да работим само с y . ако y  дори - > целият израз е дори, тъй като всичко, умножено по четно, е дори ако y  нечетно , y - 1 - дори - > целият израз е дори, тъй като всичко, умножено по четно, е дори следователно , целият израз винаги ще бъде четен . отговор ( a )."
add(1, const_1)