theorem
  a + H = {a} + H;
