a + (- b) is negative ;
hence a - b is negative ; :: thesis: verum