(** Euclid Book III Prop 20: In a circle the angle at the centre is double of the angle at the circumference, when the angles have the same circumference as base. *)

Lemma diam_onc2_ts__suppa : forall O P A B C C',
OnCircle A O P -> OnCircle B O P -> Diam C C' O P -> TS A B C C' ->
SuppA A C B A C' B.