---

Step * of Lemma Euclid-Prop18

∀e:EuclideanPlane. ∀a,b,c:Point.  (a # bc ⇒ |ab| < |ac| ⇒ bca < abc)
BY
{ Auto }

1
1. e : EuclideanPlane
2. a : Point
3. b : Point
4. c : Point
5. a # bc
6. |ab| < |ac|
⊢ bca < abc

---

Latex:

---

Latex:
\mforall{}e:EuclideanPlane.  \mforall{}a,b,c:Point.    (a  \#  bc  {}\mRightarrow{}  |ab|  <  |ac|  {}\mRightarrow{}  bca  <  abc)


By

---

Latex:
Auto

---

Home Index