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