theorem Th42: :: POLYNOM9:42

for X being set
for S being non empty right_complementable add-associative right_zeroed addLoopStr
for p being Series of X,S holds vars p = vars (- p)