---

Step * of Lemma mod2-add2n

∀k:ℤ. ∀n:ℕ.  (((k + (2 * n)) mod 2) = (k mod 2) ∈ ℤ)
BY
{ (InductionOnNat THEN Auto) }

1
.....upcase..... 
1. k : ℤ
2. n : ℤ
3. 0 < n
4. ((k + (2 * (n - 1))) mod 2) = (k mod 2) ∈ ℤ
⊢ ((k + (2 * n)) mod 2) = (k mod 2) ∈ ℤ

---

Latex:

---

Latex:
\mforall{}k:\mBbbZ{}.  \mforall{}n:\mBbbN{}.    (((k  +  (2  *  n))  mod  2)  =  (k  mod  2))


By

---

Latex:
(InductionOnNat  THEN  Auto)

---

Home Index