(** Euclid Book III Prop 9. If a point is taken within a circle, and more than two equal straight lines fall from the point on the circle, then the point taken is the center of the circle. *)

Lemma prop_7_8 : forall O P A B T X Y , Diam A B O P -> Bet A O T
-> OnCircle X O P -> OnCircle Y O P
-> LeA A O X A O Y -> Le T Y T X.