---

Step * 1 1 1 1 of Lemma geo-midpoint-symmetry


1. e : BasicGeometry
2. m : Point
3. a : Point
4. b : Point
5. B(amb)
6. am ≅ mb
7. B(bma)
8. mb ≅ bm
9. am ≅ bm
10. bm ≅ am
11. mb ≅ am
⊢ bm ≅ ma
BY
{ (FLemma `geo-congruent-full-symmetry` [-1] THEN Auto) }

---

Latex:

---

Latex:

1.  e  :  BasicGeometry
2.  m  :  Point
3.  a  :  Point
4.  b  :  Point
5.  B(amb)
6.  am  \mcong{}  mb
7.  B(bma)
8.  mb  \mcong{}  bm
9.  am  \mcong{}  bm
10.  bm  \mcong{}  am
11.  mb  \mcong{}  am
\mvdash{}  bm  \mcong{}  ma


By

---

Latex:
(FLemma  `geo-congruent-full-symmetry`  [-1]  THEN  Auto)

---

Home Index