for n being Nat
for L being non empty ZeroStr
for p being Series of n,L
for b being bag of n + 1 st b . n = 0 holds
( b in Support (p extended_by_0) iff (0,n) -cut b in Support p )