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