---

Step * of Lemma divides-iff-factors

∀n,m:ℕ+.  (n | m ⇐⇒ sub-bag(Prime;factors(n);factors(m)))
BY
{ xxxAutoxxx }

1
1. n : ℕ+
2. m : ℕ+
3. n | m
⊢ sub-bag(Prime;factors(n);factors(m))

2
1. n : ℕ+
2. m : ℕ+
3. sub-bag(Prime;factors(n);factors(m))
⊢ n | m

---

Latex:

---

Latex:
\mforall{}n,m:\mBbbN{}\msupplus{}.    (n  |  m  \mLeftarrow{}{}\mRightarrow{}  sub-bag(Prime;factors(n);factors(m)))


By

---

Latex:
xxxAutoxxx

---

Home Index