theorem ThGSubOmega: :: GROUP_23:94

for G being Group holds G is Subgroup of (Omega). G