(** If the sum of the angles of a triangle is less than 180, then the Acute angle hypothesis holds *)

(* Specifications: *)
Lemma t22_14__aah : forall A B C D E F P Q R,
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 ->
hypothesis_of_acute_saccheri_quadrilaterals.