---

Step * of Lemma divisor_of_mul

∀a,b,c:ℤ.  ((a | b) ⇒ (a | (b * c)))
BY
{ (UnivCD THENA Auto) }

1
1. a : ℤ
2. b : ℤ
3. c : ℤ
4. a | b
⊢ a | (b * c)

---

Latex:

---

Latex:
\mforall{}a,b,c:\mBbbZ{}.    ((a  |  b)  {}\mRightarrow{}  (a  |  (b  *  c)))


By

---

Latex:
(UnivCD  THENA  Auto)

---

Home Index