Section Quadrilateral_inter_dec_1.
Context `{TE:Tarski_euclidean}.

Lemma cong3_par2_par :
forall A B C A' B' C', A <> C -> Cong_3 B A C B' A' C' -> Par B A B' A' -> Par B C B' C' ->
Par A C A' C' \/ ~ Par_strict B B' A A' \/ ~Par_strict B B' C C'.