theorem
  h.(1_G)=1_H by Lm12;
