theorem
  G is associative implies g * A * B = g * (A * B) by Th10;
