Require Export C7_DroitesSecantesProp.
Section PARALLEL_SUPERIMPOSED.

Lemma EquiDirectedCollinearCollinearEquiDirected : forall A B C D E F : Point,
EquiDirected A B C D ->
Collinear C D E ->
C <> D ->
Collinear C D F ->
E <> F ->
EquiDirected A B E F.