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