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