---

Step * of Lemma dist-iff-lt

∀g:EuclideanPlane. ∀a,b,c,d,e,f:Point.  (|ef| < |ab| + |cd| ⇐⇒ D(a;b;c;d;e;f))
BY
{ EAuto 1 }

---

Latex:

---

Latex:
\mforall{}g:EuclideanPlane.  \mforall{}a,b,c,d,e,f:Point.    (|ef|  <  |ab|  +  |cd|  \mLeftarrow{}{}\mRightarrow{}  D(a;b;c;d;e;f))


By

---

Latex:
EAuto  1

---

Home Index