---

Step * of Lemma straight-angles-not-lt

∀g:EuclideanPlane. ∀a,b,c,x,y,z:Point.  (a-b-c ⇒ x-y-z ⇒ (¬abc < xyz))
BY
{ Auto }

1
1. g : EuclideanPlane
2. a : Point
3. b : Point
4. c : Point
5. x : Point
6. y : Point
7. z : Point
8. a-b-c
9. x-y-z
⊢ ¬abc < xyz

---

Latex:

---

Latex:
\mforall{}g:EuclideanPlane.  \mforall{}a,b,c,x,y,z:Point.    (a-b-c  {}\mRightarrow{}  x-y-z  {}\mRightarrow{}  (\mneg{}abc  <  xyz))


By

---

Latex:
Auto

---

Home Index