---

Step * of Lemma exp-minusone-2n-add

∀[n,k:ℕ].  ((-1)^((2 * n) + k) = (-1)^k ∈ ℤ)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[n,k:\mBbbN{}].    ((-1)\^{}((2  *  n)  +  k)  =  (-1)\^{}k)


By

---

Latex:
Auto

---

Home Index