for A being finite Subset of SetPrimes holds support (A -bag) = A