---

Step * 2 1 1 1 1 of Lemma p-unit-iff


1. p : {p:{2...}| prime(p)} 
2. a : p-adics(p)
3. b : p-adics(p)
4. a * b = 1(p) ∈ p-adics(p)
5. 0 = 1 ∈ ℤ
⊢ False
BY
{ Auto }

---

Latex:

---

Latex:

1.  p  :  \{p:\{2...\}|  prime(p)\} 
2.  a  :  p-adics(p)
3.  b  :  p-adics(p)
4.  a  *  b  =  1(p)
5.  0  =  1
\mvdash{}  False


By

---

Latex:
Auto

---

Home Index