theorem :: GROUP_2:66

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