---

Step * 1 2 of Lemma divides_nchar


1. a : ℕ+@i
2. b : ℕ+@i
3. c : ℤ@i
4. b = (a * c) ∈ ℤ@i
⊢ b = (a * c) ∈ ℕ+
BY
{ Auto }

---

Latex:

---

Latex:

1.  a  :  \mBbbN{}\msupplus{}@i
2.  b  :  \mBbbN{}\msupplus{}@i
3.  c  :  \mBbbZ{}@i
4.  b  =  (a  *  c)@i
\mvdash{}  b  =  (a  *  c)


By

---

Latex:
Auto

---

Home Index