---

Step * of Lemma pgeo-plsep-to-lsep

∀g:ProjectivePlaneStructure. ∀a,b:Line. ∀l:Point.  (l ≠ a ⇒ l I b ⇒ b ≠ a)
BY
{ ProveDualLemma `pgeo-plsep-to-psep` }

---

Latex:

---

Latex:
\mforall{}g:ProjectivePlaneStructure.  \mforall{}a,b:Line.  \mforall{}l:Point.    (l  \mneq{}  a  {}\mRightarrow{}  l  I  b  {}\mRightarrow{}  b  \mneq{}  a)


By

---

Latex:
ProveDualLemma  `pgeo-plsep-to-psep`

---

Home Index