theorem :: GROUP_1A:123

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