theorem Th13: :: POLYNOM9:13

for X being set
for x being object
for i being Nat st x in X & i <> 0 holds
support ((EmptyBag X) +* (x,i)) = {x}