for p, q being bag of SetPrimes st support p c= support q & p | (support p) = q | (support p) holds
Product p divides Product q