---

Step * of Lemma colinear-transitivity-2

∀e:BasicGeometry. ∀p,q,a,b:Point.  (p ≠ q ⇒ Colinear(p;q;a) ⇒ Colinear(p;q;b) ⇒ Colinear(p;a;b))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}e:BasicGeometry.  \mforall{}p,q,a,b:Point.    (p  \mneq{}  q  {}\mRightarrow{}  Colinear(p;q;a)  {}\mRightarrow{}  Colinear(p;q;b)  {}\mRightarrow{}  Colinear(p;a;b))


By

---

Latex:
Auto

---

Home Index