---

Step * of Lemma coprime_divisors_prod

∀a1,a2,b:ℤ.  (CoPrime(a1,a2) ⇒ (a1 | b) ⇒ (a2 | b) ⇒ ((a1 * a2) | b))
BY
{ Auto }

1
1. a1 : ℤ
2. a2 : ℤ
3. b : ℤ
4. CoPrime(a1,a2)
5. a1 | b
6. a2 | b
⊢ (a1 * a2) | b

---

Latex:

---

Latex:
\mforall{}a1,a2,b:\mBbbZ{}.    (CoPrime(a1,a2)  {}\mRightarrow{}  (a1  |  b)  {}\mRightarrow{}  (a2  |  b)  {}\mRightarrow{}  ((a1  *  a2)  |  b))


By

---

Latex:
Auto

---

Home Index