---

Step * 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
⊢ bm ≅ ma
BY
{ (Assert bm ≅ am BY
         EAuto 1) }

1
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
⊢ bm ≅ ma

---

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
\mvdash{}  bm  \mcong{}  ma


By

---

Latex:
(Assert  bm  \mcong{}  am  BY
              EAuto  1)

---

Home Index