theorem :: POLYNOM9:10

for X being set
for b being bag of X holds 0 (#) b = EmptyBag X