---

Step * of Lemma divides_mul

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

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

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index