---

Step * of Lemma div_elim

∀a:ℕ. ∀n:ℕ+.  ∃q:ℕ. (Div(a;n;q) ∧ ((a ÷ n) = q ∈ ℤ))
BY
{ (UnivCD THENA Auto) }

1
1. a : ℕ
2. n : ℕ+
⊢ ∃q:ℕ. (Div(a;n;q) ∧ ((a ÷ n) = q ∈ ℤ))

---

Latex:

---

Latex:
\mforall{}a:\mBbbN{}.  \mforall{}n:\mBbbN{}\msupplus{}.    \mexists{}q:\mBbbN{}.  (Div(a;n;q)  \mwedge{}  ((a  \mdiv{}  n)  =  q))


By

---

Latex:
(UnivCD  THENA  Auto)

---

Home Index