---

Step * of Lemma colinear-implies-midpoint

No Annotations
∀e:BasicGeometry. ∀M,A,B:Point.  (A # B ⇒ Colinear(A;M;B) ⇒ MA ≅ MB ⇒ A=M=B)
BY
{ Auto }

1
1. e : BasicGeometry
2. M : Point
3. A : Point
4. B : Point
5. A # B
6. Colinear(A;M;B)
7. MA ≅ MB
⊢ A=M=B

---

Latex:

---

Latex:
No  Annotations
\mforall{}e:BasicGeometry.  \mforall{}M,A,B:Point.    (A  \#  B  {}\mRightarrow{}  Colinear(A;M;B)  {}\mRightarrow{}  MA  \mcong{}  MB  {}\mRightarrow{}  A=M=B)


By

---

Latex:
Auto

---

Home Index