theorem Th109: :: GROUP_1A:308

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