ако a ( a + 8 )  9 и b ( b + 8 )  9 , където a  b , тогава a + b
"a ( a + 8 )  9  > имаме a  1 или - 9 също b ( b + 8 )  9  > b  1 или - 9 дадено a  b 1 ), когато a  1, b  - 9 и a + b  - 8 1 ), когато a  - 9 , b  1 и + b  - 8
add(divide(9, const_10), divide(9, divide(9, const_10)))