---

Step * of Lemma left-between-triangle2

∀e:EuclideanPlane. ∀a,x,y,p:Point.  (a leftof yx ⇒ x-p-a ⇒ a leftof yp)
BY
{ Auto }

1
1. e : EuclideanPlane
2. a : Point
3. x : Point
4. y : Point
5. p : Point
6. a leftof yx
7. x-p-a
⊢ a leftof yp

---

Latex:

---

Latex:
\mforall{}e:EuclideanPlane.  \mforall{}a,x,y,p:Point.    (a  leftof  yx  {}\mRightarrow{}  x-p-a  {}\mRightarrow{}  a  leftof  yp)


By

---

Latex:
Auto

---

Home Index