theorem Th41:
  h in G by Th40,STRUCT_0:def 5;
