Require Export C11_Mediatrice.
Section OPPOSED_ANGLE.

Lemma CongruentOppParallelogramm : forall A B C D E : Point,
Between B A D ->
Between C A E ->
Distance A B = Distance A C ->
Distance A B = Distance A D ->
Distance A B = Distance A E ->
~Collinear A B C ->
Angle B A C = Angle E A D.