---

Step * 1 of Lemma geo-intersect-symmetry


1. e : EuclideanPlane
2. l : LINE
3. m : LINE
4. a : Point
5. b : Point
6. c : Point
7. d : Point
8. v : Point
9. a-v-b
10. c-v-d
11. a I l
12. b I l
13. c I m
14. d I m
15. a leftof cd
16. b leftof dc
17. c leftof ba
18. d leftof ab
⊢ d-v-c
BY
{ (ParallelOp -9 THEN Auto) }

---

Latex:

---

Latex:

1.  e  :  EuclideanPlane
2.  l  :  LINE
3.  m  :  LINE
4.  a  :  Point
5.  b  :  Point
6.  c  :  Point
7.  d  :  Point
8.  v  :  Point
9.  a-v-b
10.  c-v-d
11.  a  I  l
12.  b  I  l
13.  c  I  m
14.  d  I  m
15.  a  leftof  cd
16.  b  leftof  dc
17.  c  leftof  ba
18.  d  leftof  ab
\mvdash{}  d-v-c


By

---

Latex:
(ParallelOp  -9  THEN  Auto)

---

Home Index