---

Step * 1 of Lemma geo-between-same-side2-or-strong


1. e : BasicGeometry
2. A : Point
3. B : Point
4. C : Point
5. d : Point
6. A ≠ B
7. C ≠ d
8. A_B_C
9. A_B_d
10. A_C_d ∨ A_d_C
⊢ B_C_d ∨ B_d_C
BY
{ D -1 }

1
1. e : BasicGeometry
2. A : Point
3. B : Point
4. C : Point
5. d : Point
6. A ≠ B
7. C ≠ d
8. A_B_C
9. A_B_d
10. A_C_d
⊢ B_C_d ∨ B_d_C

2
1. e : BasicGeometry
2. A : Point
3. B : Point
4. C : Point
5. d : Point
6. A ≠ B
7. C ≠ d
8. A_B_C
9. A_B_d
10. A_d_C
⊢ B_C_d ∨ B_d_C

---

Latex:

---

Latex:

1.  e  :  BasicGeometry
2.  A  :  Point
3.  B  :  Point
4.  C  :  Point
5.  d  :  Point
6.  A  \mneq{}  B
7.  C  \mneq{}  d
8.  A\_B\_C
9.  A\_B\_d
10.  A\_C\_d  \mvee{}  A\_d\_C
\mvdash{}  B\_C\_d  \mvee{}  B\_d\_C


By

---

Latex:
D  -1

---

Home Index