---

Step * of Lemma colinear-lsep

∀g:EuclideanPlane. ∀a,b,c,y:Point.  (a # bc ⇒ y ≠ b ⇒ Colinear(y;a;b) ⇒ y # bc)
BY
{ UseEuAxioms }

---

Latex:

---

Latex:
\mforall{}g:EuclideanPlane.  \mforall{}a,b,c,y:Point.    (a  \#  bc  {}\mRightarrow{}  y  \mneq{}  b  {}\mRightarrow{}  Colinear(y;a;b)  {}\mRightarrow{}  y  \#  bc)


By

---

Latex:
UseEuAxioms

---

Home Index