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