Angle Bisector Theorem/Exterior Angle

Theorem
Let $\triangle ABC$ be a triangle.

Let $AB$ be produced past $A$ to $D$.

Let the external angle $CAD$ be bisected by $AE$ where $BE$ is $BC$ produced.


 * Euclid-VI-3a.png

Then:
 * $BE : EC = AB : AC$