Lemma l13_19_aux : forall A B C D A' B' C' D' O, ~Col O A B -> A <> A' -> A <> C -> O <> A -> O <> A' -> O <> C -> O <> C' -> O <> B -> O <> B' -> O <> D -> O <> D' -> Col O A C -> Col O A A' -> Col O A C' -> Col O B D -> Col O B B' -> Col O B D' -> ~Par A B C D -> Par A B A' B' -> Par A D A' D' -> Par B C B' C' -> Par C D C' D'.