---

Step * 1 1 1 1 of Lemma pgeo-minimum-order


1. n : ℕ
2. v : ℕn + 1
3. v1 : ℕn + 1
4. v2 : ℕn + 1
⊢ (¬(v = v1 ∈ ℤ)) ⇒ (¬(v1 = v2 ∈ ℤ)) ⇒ (¬(v2 = v ∈ ℤ)) ⇒ (n ≥ 2 )
BY
{ Auto }

---

Latex:

---

Latex:

1.  n  :  \mBbbN{}
2.  v  :  \mBbbN{}n  +  1
3.  v1  :  \mBbbN{}n  +  1
4.  v2  :  \mBbbN{}n  +  1
\mvdash{}  (\mneg{}(v  =  v1))  {}\mRightarrow{}  (\mneg{}(v1  =  v2))  {}\mRightarrow{}  (\mneg{}(v2  =  v))  {}\mRightarrow{}  (n  \mgeq{}  2  )


By

---

Latex:
Auto

---

Home Index