---

Step * of Lemma prime_divs_prod

∀p:ℤ. (prime(p) ⇒ (∀a1,a2:ℤ.  ((p | (a1 * a2)) ⇒ ((p | a1) ∨ (p | a2)))))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}p:\mBbbZ{}.  (prime(p)  {}\mRightarrow{}  (\mforall{}a1,a2:\mBbbZ{}.    ((p  |  (a1  *  a2))  {}\mRightarrow{}  ((p  |  a1)  \mvee{}  (p  |  a2)))))


By

---

Latex:
Auto

---

Home Index