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