theorem :: GROEB_3:18

for X being set
for L being non empty ZeroStr
for s being Series of X,L holds
( s | (Support s) = s & s | ({} (Bags X)) = 0_ (X,L) )