theorem :: GROUP_1A:34

for i being Integer
for G being addGroup
for h being Element of G holds - (i * h) = - (i * h) ;