---

Step * of Lemma geo-colinear-congruence1

∀e:BasicGeometry. ∀A,B,C,P,Q:Point.  (A ≠ B ⇒ Colinear(A;B;C) ⇒ AP ≅ AQ ⇒ BP ≅ BQ ⇒ CP ≅ CQ)
BY
{ Auto }

1
1. e : BasicGeometry
2. A : Point
3. B : Point
4. C : Point
5. P : Point
6. Q : Point
7. A ≠ B
8. Colinear(A;B;C)
9. AP ≅ AQ
10. BP ≅ BQ
⊢ CP ≅ CQ

---

Latex:

---

Latex:
\mforall{}e:BasicGeometry.  \mforall{}A,B,C,P,Q:Point.    (A  \mneq{}  B  {}\mRightarrow{}  Colinear(A;B;C)  {}\mRightarrow{}  AP  \00D0  AQ  {}\mRightarrow{}  BP  \00D0  BQ  {}\mRightarrow{}  CP  \00D0  CQ)


By

---

Latex:
Auto

---

Home Index