---

Step * of Lemma geo-ge-sep

∀g:EuclideanPlane. ∀a,b,c,d:Point.  (cd ≥ ab ⇒ a ≠ b ⇒ c ≠ d)
BY
{ UseEuAxioms }

---

Latex:

---

Latex:
\mforall{}g:EuclideanPlane.  \mforall{}a,b,c,d:Point.    (cd  \mgeq{}  ab  {}\mRightarrow{}  a  \mneq{}  b  {}\mRightarrow{}  c  \mneq{}  d)


By

---

Latex:
UseEuAxioms

---

Home Index