for G being strict addGroup holds G in Subgroups G