theorem Matsu0: :: MOEBIUS2:46

for f being bag of SetPrimes ex g being FinSequence of NAT st
( Product f = Product g & g = f * (canFS (support f)) )