theorem Th41: :: POLYNOM9:41

for X being set
for S being non empty right_zeroed addLoopStr
for p, q being Series of X,S holds vars (p + q) c= (vars p) \/ (vars q)