theorem bbag: :: RING_5:24

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