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