(** * Proposition 6 If in a triangle two angles be equal to one another, the sides which subtend the equal angles will also be equal to one another. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container6"></div> # **)

Lemma prop_6 : forall A B C, ~ Col A B C -> CongA A B C A C B -> Cong A B A C.