Section Quadrilateral_inter_dec_3.
Context `{TE:Tarski_euclidean}.

Lemma par_par_cong_cong_parallelogram :
forall A B C D,
B<>D ->
Cong A B C D ->
Cong B C D A ->
Par B C A D ->
Par A B C D ->
Parallelogram A B C D.