the sum of 2 consecutive numbers is definitely :
"if 1 st term is x : x + ( x + 1 ) = 2 x + 1 - - - > positive if 2 nd term is x : ( x - 1 ) + x = 2 x - 1 - - - > positive 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)))