theorem :: POLYNOM9:31

for X being set
for b, s being bag of X
for x being object holds support (Subst (b,x,s)) = ((support b) \ {x}) \/ (support s)