theorem ThGSubOmega:
  G is Subgroup of (Omega).G
proof
  G is Subgroup of G by GROUP_2:54;
  hence thesis by GROUP_2:57;
end;
