---

Step * 1 of Lemma factors-prime-product

.....assertion..... 
1. b : bag(Prime)
⊢ 0 < Π(b)
BY
{ xxxAutoxxx }

---

Latex:

---

Latex:
.....assertion..... 
1.  b  :  bag(Prime)
\mvdash{}  0  <  \mPi{}(b)


By

---

Latex:
xxxAutoxxx

---

Home Index