Theorem: The external bisectors of any two angles of a triangle are concurrent with the internal bisector of the third angle.