---

Step * 1 of Lemma rabs-int-rmul-unit


1. k : ℕ
2. x : ℝ
⊢ |-1^k| * |x| = |x|
BY
{ Subst' |-1^k| ~ 1 0 }

1
.....equality..... 
1. k : ℕ
2. x : ℝ
⊢ |-1^k| ~ 1

2
1. k : ℕ
2. x : ℝ
⊢ 1 * |x| = |x|

---

Latex:

---

Latex:

1.  k  :  \mBbbN{}
2.  x  :  \mBbbR{}
\mvdash{}  |-1\^{}k|  *  |x|  =  |x|


By

---

Latex:
Subst'  |-1\^{}k|  \msim{}  1  0

---

Home Index