theorem :: FVSUM_1:24

for K being non empty addLoopStr
for a being Element of K holds - <*a*> = <*(- a)*>