theorem Th31: :: GROUP_4:31

for G being Group
for H being strict Subgroup of G holds gr (carr H) = H