∀b:bag(Prime). 0 < Π(b)
{ Auto }
1. b : bag(Prime)
⊢ 0 < Π(b)