---

Step * of Lemma exp_assoced

∀n:ℕ+. ∀x,y:ℤ.  (x^n ~ y^n ⇐⇒ x ~ y)
BY
{ xxxAutoxxx }

1
1. n : ℕ+
2. x : ℤ
3. y : ℤ
4. x^n ~ y^n
⊢ x ~ y

2
1. n : ℕ+
2. x : ℤ
3. y : ℤ
4. x ~ y
⊢ x^n ~ y^n

---

Latex:

---

Latex:
\mforall{}n:\mBbbN{}\msupplus{}.  \mforall{}x,y:\mBbbZ{}.    (x\^{}n  \msim{}  y\^{}n  \mLeftarrow{}{}\mRightarrow{}  x  \msim{}  y)


By

---

Latex:
xxxAutoxxx

---

Home Index