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