Section Quadrilateral_inter_dec_1.
Context `{TE:Tarski_euclidean}.

Lemma Plg_perm :
forall A B C D,
Parallelogram A B C D ->
Parallelogram A B C D /\ Parallelogram B C D A /\ Parallelogram C D A B /\Parallelogram D A B C /\
Parallelogram A D C B /\ Parallelogram D C B A /\ Parallelogram C B A D /\ Parallelogram B A D C.