theorem Th40: :: POLYNOM9:40

for X being set
for S being ZeroStr
for p being Series of X,S
for b being bag of X st b in Support p holds
support b c= vars p