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