---

Step * of Lemma thm_1a

∀n:ℕ. (↑isEven((n * n) + n))
BY
{ Auto }

1
1. n : ℕ
⊢ ↑isEven((n * n) + n)

---

Latex:

---

Latex:
\mforall{}n:\mBbbN{}.  (\muparrow{}isEven((n  *  n)  +  n))


By

---

Latex:
Auto

---

Home Index