for G being strict Group holds G in Subgroups G