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