---

Step * of Lemma exp-positive-stronger

∀n:ℕ. ∀x:ℕ+.  0 < x^n
BY
{ InductionOnNat }

1
.....basecase..... 
1. n : ℤ
⊢ ∀x:ℕ+. 0 < x^0

2
.....upcase..... 
1. n : ℤ
2. 0 < n
3. ∀x:ℕ+. 0 < x^n - 1
⊢ ∀x:ℕ+. 0 < x^n

---

Latex:

---

Latex:
\mforall{}n:\mBbbN{}.  \mforall{}x:\mBbbN{}\msupplus{}.    0  <  x\^{}n


By

---

Latex:
InductionOnNat

---

Home Index