---

Step * of Lemma geo-colinear-between2

∀e:BasicGeometry. ∀[A,B,C,D:Point].  (Colinear(B;C;D)) supposing (B ≠ C and A ≠ B and A_C_B and A_D_B)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}e:BasicGeometry
    \mforall{}[A,B,C,D:Point].    (Colinear(B;C;D))  supposing  (B  \mneq{}  C  and  A  \mneq{}  B  and  A\_C\_B  and  A\_D\_B)


By

---

Latex:
Auto

---

Home Index