Section Quadrilateral_inter_dec_1.
Context `{TE:Tarski_euclidean}.

Lemma ts_cong_par_cong_par :
forall A B A' B',
TS A A' B B' ->
Cong A B A' B' ->
Par A B A' B' ->
Cong A B' A' B /\ Par A B' A' B.