---

Step * of Lemma coprime_prod

∀a,b1,b2:ℤ.  (CoPrime(a,b1) ⇒ CoPrime(a,b2) ⇒ CoPrime(a,b1 * b2))
BY
{ (UnivCD THENA Auto) }

1
1. a : ℤ
2. b1 : ℤ
3. b2 : ℤ
4. CoPrime(a,b1)
5. CoPrime(a,b2)
⊢ CoPrime(a,b1 * b2)

---

Latex:

---

Latex:
\mforall{}a,b1,b2:\mBbbZ{}.    (CoPrime(a,b1)  {}\mRightarrow{}  CoPrime(a,b2)  {}\mRightarrow{}  CoPrime(a,b1  *  b2))


By

---

Latex:
(UnivCD  THENA  Auto)

---

Home Index