Lemma sesamath_4ieme_G2_ex41 : forall (T L H O E S A: Tpoint) (a b : Tpoint ->Tpoint ->Tpoint -> Prop), ~ Col T L H -> Midpoint E T L -> Midpoint O T H -> A <> T -> A <> O -> A <> E -> A <> S -> Bet T A S -> Bet O A E -> Bet H S L -> S <> H -> S <> L -> CongA S A E T S H /\ Midpoint A T S.