---

Step * of Lemma gcd_elim

∀a,b:ℤ.  ∃y:ℤ. (GCD(a;b;y) ∧ (gcd(a;b) = y ∈ ℤ))
BY
{ Auto }

1
1. a : ℤ
2. b : ℤ
⊢ ∃y:ℤ. (GCD(a;b;y) ∧ (gcd(a;b) = y ∈ ℤ))

---

Latex:

---

Latex:
\mforall{}a,b:\mBbbZ{}.    \mexists{}y:\mBbbZ{}.  (GCD(a;b;y)  \mwedge{}  (gcd(a;b)  =  y))


By

---

Latex:
Auto

---

Home Index