theorem Th26: :: GROUP_1A:26

for G being addGroup
for h being Element of G holds 2 * h = h + h