theorem Th39: :: POLYNOM9:39

for X being set
for S being ZeroStr
for p being Series of X,S holds vars p = union { (support b) where b is Element of Bags X : b in Support p }