(** * Proposition 20 In any triangle two sides taken together in any manner are greater than the remaining one. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container20"></div> # **)

Lemma prop_20 : forall A B C P Q, ~ Bet B A C -> SumS A B A C P Q -> Lt B C P Q.