---

Step * of Lemma geo-midpoint-diagonals-between

∀e:BasicGeometry. ∀A,P,Q,R,P',Q',R':Point.  ((((P=A=P' ∧ R=A=R') ∧ Q=A=Q') ∧ P_Q_R) ⇒ P'_Q'_R')
BY
{ Auto }

1
1. e : BasicGeometry
2. A : Point
3. P : Point
4. Q : Point
5. R : Point
6. P' : Point
7. Q' : Point
8. R' : Point
9. P=A=P'
10. R=A=R'
11. Q=A=Q'
12. P_Q_R
⊢ P'_Q'_R'

---

Latex:

---

Latex:
\mforall{}e:BasicGeometry.  \mforall{}A,P,Q,R,P',Q',R':Point.    ((((P=A=P'  \mwedge{}  R=A=R')  \mwedge{}  Q=A=Q')  \mwedge{}  P\_Q\_R)  {}\mRightarrow{}  P'\_Q'\_R')


By

---

Latex:
Auto

---

Home Index