---

Step * of Lemma twosquare-type-finite

No Annotations
∀p:{p:{2...}| prime(p)} . finite(x:ℕ × y:ℕ × {z:ℕ| ((x * x) + (4 * y * z)) = p ∈ ℤ} )
BY
{ Intro }

1
1. p : {p:{2...}| prime(p)} 
⊢ finite(x:ℕ × y:ℕ × {z:ℕ| ((x * x) + (4 * y * z)) = p ∈ ℤ} )

---

Latex:

---

Latex:
No  Annotations
\mforall{}p:\{p:\{2...\}|  prime(p)\}  .  finite(x:\mBbbN{}  \mtimes{}  y:\mBbbN{}  \mtimes{}  \{z:\mBbbN{}|  ((x  *  x)  +  (4  *  y  *  z))  =  p\}  )


By

---

Latex:
Intro

---

Home Index