theorem ThA33:
  G is add-associative implies g + A + h = g + (A + h) by Th10;
