for G being addGroup
for a being Element of G holds (+ a) /" = + (- a)