---

Step * 1 of Lemma mod2-add2n

.....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) ∈ ℤ
BY
{ (Subst' k + (2 * n) ~ (k + (2 * (n - 1))) + 2 0 THEN Auto) }

---

Latex:

---

Latex:
.....upcase..... 
1.  k  :  \mBbbZ{}
2.  n  :  \mBbbZ{}
3.  0  <  n
4.  ((k  +  (2  *  (n  -  1)))  mod  2)  =  (k  mod  2)
\mvdash{}  ((k  +  (2  *  n))  mod  2)  =  (k  mod  2)


By

---

Latex:
(Subst'  k  +  (2  *  n)  \msim{}  (k  +  (2  *  (n  -  1)))  +  2  0  THEN  Auto)

---

Home Index