for p being bag of SetPrimes st p is prime-factorization-like holds
( Product p = 1 iff support p = {} )