Ако ( a – b ) е с 15 повече от ( c + d ) и ( a + b ) е с 3 по-малко от ( c – d ) , тогава ( a – c ) е:
"( a – b ) – ( c + d )  15 и ( c – d ) – ( a + c )  3  > ( a – c ) – ( b + d )  15 и ( c – a ) – ( b + d )  3  > ( b + d )  ( a – c ) – 15 и ( b + d )
divide(15, 3)