---

Step * of Lemma Dbet-to-le

∀g:EuclideanPlane. ∀a,b,c:Point.  (Dbet(g;a;b;c) ⇒ |ab| + |bc| ≤ |ac|)
BY
{ EAuto 1 }

---

Latex:

---

Latex:
\mforall{}g:EuclideanPlane.  \mforall{}a,b,c:Point.    (Dbet(g;a;b;c)  {}\mRightarrow{}  |ab|  +  |bc|  \mleq{}  |ac|)


By

---

Latex:
EAuto  1

---

Home Index