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