---

Step * 1 2 1 1 1 1 1 of Lemma p-adic-inv-lemma1


1. p : {p:{2...}| prime(p)} 
2. n : ℕ+
3. x : ℤ
4. y : ℤ
5. v : ℕ+
6. v1 : ℕp^n
⊢ (((x * v1) + (y * v)) = 1 ∈ ℤ) ⇒ (((x * v1) - 1) = (v * (-y)) ∈ ℤ)
BY
{ Auto }

---

Latex:

---

Latex:

1.  p  :  \{p:\{2...\}|  prime(p)\} 
2.  n  :  \mBbbN{}\msupplus{}
3.  x  :  \mBbbZ{}
4.  y  :  \mBbbZ{}
5.  v  :  \mBbbN{}\msupplus{}
6.  v1  :  \mBbbN{}p\^{}n
\mvdash{}  (((x  *  v1)  +  (y  *  v))  =  1)  {}\mRightarrow{}  (((x  *  v1)  -  1)  =  (v  *  (-y)))


By

---

Latex:
Auto

---

Home Index