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