theorem ThB106:
  a + H + b = a + (H + b) by Th10;
