(** Under the Right angle hypothesis, the sum of the three angles of a triangle is equal to 180 *)

(* Specifications: *)
Lemma t22_14__bet :
hypothesis_of_right_saccheri_quadrilaterals ->
forall A B C P Q R, TriSumA A B C P Q R -> Bet P Q R.
Lemma t22_14__sams_nbet_aux : forall A B C D E F P Q R,
hypothesis_of_acute_saccheri_quadrilaterals ->
~ Col A B C ->
SumA C A B A B C D E F -> SumA D E F B C A P Q R ->
Acute A B C -> Acute A C B ->
SAMS D E F B C A /\ ~ Bet P Q R.