---

Step * of Lemma geo-between-congruent

∀e:BasicGeometry. ∀a,b,c:Point.  (a_b_c ⇒ ac ≅ ab ⇒ c ≡ b)
BY
{ Auto }

1
1. e : BasicGeometry
2. a : Point
3. b : Point
4. c : Point
5. a_b_c
6. ac ≅ ab
⊢ c ≡ b

---

Latex:

---

Latex:
\mforall{}e:BasicGeometry.  \mforall{}a,b,c:Point.    (a\_b\_c  {}\mRightarrow{}  ac  \00D0  ab  {}\mRightarrow{}  c  \mequiv{}  b)


By

---

Latex:
Auto

---

Home Index