---

Step * of Lemma irrational-sqrt-number-lemma

∀a:ℤ. ∀b:ℕ+. ∀n:ℕ.  (((a * a) = (n * b * b) ∈ ℤ) ⇒ (∃m:ℕn + 1. ((m * m) = n ∈ ℤ)))
BY
{ Auto }

1
1. a : ℤ
2. b : ℕ+
3. n : ℕ
4. (a * a) = (n * b * b) ∈ ℤ
⊢ ∃m:ℕn + 1. ((m * m) = n ∈ ℤ)

---

Latex:

---

Latex:
\mforall{}a:\mBbbZ{}.  \mforall{}b:\mBbbN{}\msupplus{}.  \mforall{}n:\mBbbN{}.    (((a  *  a)  =  (n  *  b  *  b))  {}\mRightarrow{}  (\mexists{}m:\mBbbN{}n  +  1.  ((m  *  m)  =  n)))


By

---

Latex:
Auto

---

Home Index