theorem Th53:
  1_G in commutators(H1,H2)
proof
A1: 1_G in H2 by GROUP_2:46;
  [.1_G,1_G.] = 1_G & 1_G in H1 by Th19,GROUP_2:46;
  hence thesis by A1,Th52;
end;
