---

Step * 7 of Lemma geo-out2-bet-out


1. e : BasicGeometry
2. a : Point
3. b : Point
4. c : Point
5. x : Point
6. p : Point
7. b ≠ a
8. b ≠ c
9. b ≠ x
10. b ≠ p
11. a_x_c
12. ¬b_c_p
13. ¬b_p_c
14. b_p_x
15. b_a_c
⊢ False
BY
{ (D -3 THEN Auto) }

---

Latex:

---

Latex:

1.  e  :  BasicGeometry
2.  a  :  Point
3.  b  :  Point
4.  c  :  Point
5.  x  :  Point
6.  p  :  Point
7.  b  \mneq{}  a
8.  b  \mneq{}  c
9.  b  \mneq{}  x
10.  b  \mneq{}  p
11.  a\_x\_c
12.  \mneg{}b\_c\_p
13.  \mneg{}b\_p\_c
14.  b\_p\_x
15.  b\_a\_c
\mvdash{}  False


By

---

Latex:
(D  -3  THEN  Auto)

---

Home Index