∀e:BasicGeometry. ∀a,b,c,d:Point.  (ab ≅ cd 
⇒ ab≤cd)
{ Auto }
1. e : BasicGeometry
2. a : Point
3. b : Point
4. c : Point
5. d : Point
6. ab ≅ cd
⊢ ab≤cd