---

Step * of Lemma geo-between-same-side-or

∀e:BasicGeometry. ∀A,B,C,d:Point.  ((A # B ∧ C # d) ⇒ B(ABC) ⇒ B(ABd) ⇒ (B(ACd) ∨ B(AdC)))
BY
{ Auto }

1
1. e : BasicGeometry
2. A : Point
3. B : Point
4. C : Point
5. d : Point
6. A # B
7. C # d
8. B(ABC)
9. B(ABd)
⊢ B(ACd) ∨ B(AdC)

---

Latex:

---

Latex:
\mforall{}e:BasicGeometry.  \mforall{}A,B,C,d:Point.    ((A  \#  B  \mwedge{}  C  \#  d)  {}\mRightarrow{}  B(ABC)  {}\mRightarrow{}  B(ABd)  {}\mRightarrow{}  (B(ACd)  \mvee{}  B(AdC)))


By

---

Latex:
Auto

---

Home Index