Angle Bisector of a Plane Angle

Theorem: Angle Bisector of a Plane Angle

Let $\angle (a;b)$ be the Plane Angle formed by two Rays $a$ and $b$.

There exists one and only one Straight Line $l$ in the plane of $\angle (a;b)$ which goes through the vertex of $\angle (a;b)$ such that the angles $\angle (a;l)$ and $\angle (l;b)$ are congruent.

PROOF

TODO

Definition: Angle Bisector of a Plane Angle

The angle bisector of a Plane Angle is the unique Straight Line which lies in the plane of the angle, goes through its vertex and divides it into two congruent angles.