---

Step * 1 1 1 of Lemma p5eu


1. e : EuclideanPlane
2. a : Point
3. b : Point
4. c : Point
5. ab=ac
6. ¬(a = b ∈ Point)
7. (¬(a = c ∈ Point)) ∧ (¬(b = c ∈ Point))
⊢ ∃j,k:Point. jbc = kcb
BY
{ D 7 }

1
1. e : EuclideanPlane
2. a : Point
3. b : Point
4. c : Point
5. ab=ac
6. ¬(a = b ∈ Point)
7. ¬(a = c ∈ Point)
8. ¬(b = c ∈ Point)
⊢ ∃j,k:Point. jbc = kcb

---

Latex:

---

Latex:

1.  e  :  EuclideanPlane
2.  a  :  Point
3.  b  :  Point
4.  c  :  Point
5.  ab=ac
6.  \mneg{}(a  =  b)
7.  (\mneg{}(a  =  c))  \mwedge{}  (\mneg{}(b  =  c))
\mvdash{}  \mexists{}j,k:Point.  jbc  =  kcb


By

---

Latex:
D  7

---

Home Index