---

Step * 2 of Lemma divides-iff-factors


1. n : ℕ+
2. m : ℕ+
3. sub-bag(Prime;factors(n);factors(m))
⊢ n | m
BY
{ xxxD -1xxx }

1
1. n : ℕ+
2. m : ℕ+
3. cs : bag(Prime)
4. factors(m) = (factors(n) + cs) ∈ bag(Prime)
⊢ n | m

---

Latex:

---

Latex:

1.  n  :  \mBbbN{}\msupplus{}
2.  m  :  \mBbbN{}\msupplus{}
3.  sub-bag(Prime;factors(n);factors(m))
\mvdash{}  n  |  m


By

---

Latex:
xxxD  -1xxx

---

Home Index