theorem Th14: :: INT_7:14

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