---

Step * of Lemma seg-midpoints-equal

∀e:BasicGeometry. ∀P,Q,A,X:Point.  ((P=A=X ∧ Q=A=X) ⇒ P ≡ Q)
BY
{ Auto }

1
1. e : BasicGeometry
2. P : Point
3. Q : Point
4. A : Point
5. X : Point
6. P=A=X
7. Q=A=X
⊢ P ≡ Q

---

Latex:

---

Latex:
\mforall{}e:BasicGeometry.  \mforall{}P,Q,A,X:Point.    ((P=A=X  \mwedge{}  Q=A=X)  {}\mRightarrow{}  P  \mequiv{}  Q)


By

---

Latex:
Auto

---

Home Index