theorem
  a * H = {a} * H;
