theorem Th38: :: POLYNOM9:38

for X being Ordinal
for S being non empty ZeroStr
for p being Series of X,S holds
( vars p = {} iff p is Constant )