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

(* Specifications: *)
Lemma t22_14__nsams :
hypothesis_of_obtuse_saccheri_quadrilaterals ->
forall A B C D E F, ~ Col A B C ->
SumA C A B A B C D E F ->
~ SAMS D E F B C A.