theorem Th106: :: GROUP_3:106

for x being set
for G being Group
for H being Subgroup of G st x in con_class H holds
x is strict Subgroup of G