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