(** Under the Acute angle hypothesis, the sum of the three angles of a triangle is less than 180 *)

Lemma t22_14__nsams_aux : forall A B C D E F,
hypothesis_of_obtuse_saccheri_quadrilaterals ->
~ Col A B C ->
SumA C A B A B C D E F -> Acute A B C -> Acute A C B ->
~ SAMS D E F B C A.