theorem
  [.H1,H2.] = gr commutators(H1,H2);
