theorem :: GROUP_1A:215

for G being strict addGroup holds G in Subgroups G