reserve n for Nat;

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