(** * Proposition 25 If two triangles have the two sides equal to two sides respectively, but have the base greater than the base, they will also have the one of the angles contained by the equal straight lines greater than the other. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container25"></div> # **)

Lemma prop_25 : forall A B C D E F, A <> B -> A <> C ->
Cong A B D E -> Cong A C D F -> Lt E F B C ->
LtA F D E C A B.