theorem Th10: :: GROUP_22:10

for G being Group
for H being Subgroup of G holds
( H is proper iff the carrier of H <> the carrier of G )