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