ако m е цяло число такова, че ( - 2 )  2 m  2  ( 3 - m ) след това m  ?
"( - 2 )  ( 2 m )  4  m и 2  ( 3 - m )  4  ( ( 3 - m ) / 2 ) следователно , m  ( 3 - m ) / 2 m  3 - m  1 отговор a"
divide(3, add(2, const_1))