for G being addGroup
for H being Subgroup of G holds (carr H) + (carr H) = carr H