Require Export D3_Triangle_Prop.
Section CONSEQUENCES.

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