for A being set
for b being bag of A st Sum b = 0 holds
b = EmptyBag A