Section Quadrilateral.
Context `{TnEQD:Tarski_neutral_dimensionless_with_decidable_point_equality}.
(*////////////////////////////////////////////////////////////////*)
(**********************************************************************************************************)
(*******************************************************************************************************)

Lemma plgs_not_col : forall A B C D, Parallelogram_strict A B C D ->
~ Col A B C /\ ~ Col B C D /\ ~ Col C D A /\ ~ Col A B D.