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