theorem Th96:
  A + B + H = A + (B + H) by Th10;
