theorem BagSupport: :: MOEBIUS3:53

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