theorem
  g * A * B = g * (A + B) by Th35;
