theorem :: GROUP_3:14

for G being strict Group holds G in Subgroups G