---

Step * of Lemma append-factors

∀n,m:ℕ+.  (factors(n * m) = (factors(n) + factors(m)) ∈ bag(Prime))
BY
{ xxx(InstLemma `prime-product-injection` [] THEN Auto)xxx }

---

Latex:

---

Latex:
\mforall{}n,m:\mBbbN{}\msupplus{}.    (factors(n  *  m)  =  (factors(n)  +  factors(m)))


By

---

Latex:
xxx(InstLemma  `prime-product-injection`  []  THEN  Auto)xxx

---

Home Index