theorem Th109: :: GROUP_3:109

for G being Group
for H being strict Subgroup of G holds H in con_class H