Step
*
1
1
of Lemma
p5geo
1. e : BasicGeometry
2. a : Point
3. b : Point
4. c : Point
5. ab ≅ ac
6. a # b ∧ b # c ∧ c # a
⊢ ∃j,k:Point. (jbc ≅a kcb ∧ B(abj) ∧ B(ack))
BY
{ D 6 }
1
1. e : BasicGeometry
2. a : Point
3. b : Point
4. c : Point
5. ab ≅ ac
6. a # b
7. b # c ∧ c # a
⊢ ∃j,k:Point. (jbc ≅a kcb ∧ B(abj) ∧ B(ack))
Latex:
Latex:
1. e : BasicGeometry
2. a : Point
3. b : Point
4. c : Point
5. ab \mcong{} ac
6. a \# b \mwedge{} b \# c \mwedge{} c \# a
\mvdash{} \mexists{}j,k:Point. (jbc \mcong{}\msuba{} kcb \mwedge{} B(abj) \mwedge{} B(ack))
By
Latex:
D 6
Home
Index