for p being bag of SetPrimes
for n being non zero Nat st p is prime-factorization-like & n = Product p holds
ppf n = p