theorem bag1a: :: RING_5:23

for X being non empty set
for b being bag of X holds
( card b = 0 iff support b = {} )