---

Step * of Lemma lsep-symmetry

∀g:EuclideanPlane. ∀a,b,c:Point.  (a # bc ⇒ (c # ba ∧ c # ab))
BY
{ Auto }

1
1. g : EuclideanPlane
2. a : Point
3. b : Point
4. c : Point
5. a # bc
⊢ c # ba

2
1. g : EuclideanPlane
2. a : Point
3. b : Point
4. c : Point
5. a # bc
6. c # ba
⊢ c # ab

---

Latex:

---

Latex:
\mforall{}g:EuclideanPlane.  \mforall{}a,b,c:Point.    (a  \#  bc  {}\mRightarrow{}  (c  \#  ba  \mwedge{}  c  \#  ab))


By

---

Latex:
Auto

---

Home Index