for n being Nat
for X being non empty addLoopStr
for seq being sequence of X holds (- seq) . n = - (seq . n)