Require Export D3_Triangle_Prop.
Section CONSEQUENCES.

Lemma EqualAngleHalfLineC : forall A B C C' : Point,
A <> B ->
A <> C ->
A <> C' ->
~Clockwise A B C ->
~Clockwise A B C' ->
(Angle  C A B) = (Angle  C' A B) ->
HalfLine A C C'.