(** This is ASA congruence. *)

(* Specifications: *)
Lemma l11_50_1  : forall A B C A' B' C',
~ Col A B C -> CongA B A C B' A' C' -> CongA A B C A' B' C' -> Cong A B A' B' ->
Cong A C A' C' /\ Cong B C B' C' /\ CongA A C B A' C' B'.