theorem Th48: :: POLYNOM9:48

for n being Nat
for x being object
for X being set
for S being non empty ZeroStr
for s being Element of S holds vars (Monom (s,((EmptyBag X) +* (x,n)))) c= {x}