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