---

Step * of Lemma coprime_iff_ndivides

∀a,p:ℤ.  (prime(p) ⇒ (CoPrime(p,a) ⇐⇒ ¬(p | a)))
BY
{ Auto }

1
1. a : ℤ
2. p : ℤ
3. prime(p)
4. CoPrime(p,a)
⊢ ¬(p | a)

2
1. a : ℤ
2. p : ℤ
3. prime(p)
4. ¬(p | a)
⊢ CoPrime(p,a)

---

Latex:

---

Latex:
\mforall{}a,p:\mBbbZ{}.    (prime(p)  {}\mRightarrow{}  (CoPrime(p,a)  \mLeftarrow{}{}\mRightarrow{}  \mneg{}(p  |  a)))


By

---

Latex:
Auto

---

Home Index