---

Step * of Lemma coprime-exp

∀a,b:ℤ.  (CoPrime(a,b) ⇒ (∀n,m:ℕ.  CoPrime(a^m,b^n)))
BY
{ xxx(Auto THEN RepeatFor 2 (((BLemma `coprime-exp1` THEN Auto) THEN BLemma `coprime_symmetry` THEN Auto)))xxx }

---

Latex:

---

Latex:
\mforall{}a,b:\mBbbZ{}.    (CoPrime(a,b)  {}\mRightarrow{}  (\mforall{}n,m:\mBbbN{}.    CoPrime(a\^{}m,b\^{}n)))


By

---

Latex:
xxx(Auto
        THEN  RepeatFor  2  (((BLemma  `coprime-exp1`  THEN  Auto)  THEN  BLemma  `coprime\_symmetry`  THEN  Auto))
        )xxx

---

Home Index