---

Step * 1 5 of Lemma lcm-assoc-nat


1. n : ℕ
2. m : ℕ
3. k : ℕ
4. lcm(n;m) | lcm(n;lcm(m;k))
5. k | lcm(n;lcm(m;k))
6. v : ℤ@i
7. lcm(n;m) | v@i
8. k | v@i
⊢ k | v
BY
{ Auto }

---

Latex:

---

Latex:

1.  n  :  \mBbbN{}
2.  m  :  \mBbbN{}
3.  k  :  \mBbbN{}
4.  lcm(n;m)  |  lcm(n;lcm(m;k))
5.  k  |  lcm(n;lcm(m;k))
6.  v  :  \mBbbZ{}@i
7.  lcm(n;m)  |  v@i
8.  k  |  v@i
\mvdash{}  k  |  v


By

---

Latex:
Auto

---

Home Index