theorem :: RING_5:25

for X being non empty set
for b being bag of X holds
( b is zero iff rng b = {0} ) by bbbag;