theorem Th44: :: GROUP_1A:90

for G being addGroup
for H being Subgroup of G holds 0_ H = 0_ G