theorem :: MOEBIUS3:56

for A, B being finite Subset of SetPrimes st A -bag = B -bag holds
A = B