---

Step * of Lemma Join

∀g:ProjectivePlaneStructure. ∀p,q:Point.  (p ≠ q ⇒ (∃l:Line. (p I l ∧ q I l)))
BY
{ Auto }

1
1. g : ProjectivePlaneStructure
2. p : Point
3. q : Point
4. p ≠ q
⊢ ∃l:Line. (p I l ∧ q I l)

---

Latex:

---

Latex:
\mforall{}g:ProjectivePlaneStructure.  \mforall{}p,q:Point.    (p  \mneq{}  q  {}\mRightarrow{}  (\mexists{}l:Line.  (p  I  l  \mwedge{}  q  I  l)))


By

---

Latex:
Auto

---

Home Index