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

Lemma t22_14__sams_nbet :
hypothesis_of_acute_saccheri_quadrilaterals ->
forall A B C D E F P Q R, ~ Col A B C ->
SumA C A B A B C D E F -> SumA D E F B C A P Q R ->
SAMS D E F B C A /\ ~ Bet P Q R.