---

Step * 1 1 1 1 1 1 1 1 1 of Lemma rinv-exp-converges


1. N : {2...}
2. m : ℕ
⊢ 1 ≤ N^m
BY
{ D 1 }

1
.....wf..... 
1. N : {2...}
2. m : ℕ
⊢ 2 ∈ ℤ

2
1. N : ℤ
2. 2 ≤ N
3. m : ℕ
⊢ 1 ≤ N^m

---

Latex:

---

Latex:

1.  N  :  \{2...\}
2.  m  :  \mBbbN{}
\mvdash{}  1  \mleq{}  N\^{}m


By

---

Latex:
D  1

---

Home Index