theorem Th2: :: LATSUBGR:2

for G being Group
for h being set holds
( h in Subgroups G iff ex H being strict Subgroup of G st h = H )