Сумата от 2 поредни числа определено е :
"ако 1-ви член е x: x + ( x + 1 )  2 x + 1 - - - > положителен, ако 2-ри член е x : ( x - 1 ) + x  2 x - - - - > положителен a"
add(add(power(add(add(divide(subtract(subtract(2, const_10), const_2), const_4), const_2), const_2), const_2), power(add(add(add(divide(subtract(subtract(2, const_10), const_2), const_4), const_2), const_2), const_2), const_2)), add(power(divide(subtract(subtract(2, const_10), const_2), const_4), const_2), power(add(divide(subtract(subtract(2, const_10), const_2), const_4), const_2), const_2)))