theorem Matsu: :: MOEBIUS2:26

for f being bag of SetPrimes holds Product f <> 0