Triangle-Angle-Bisector Theorem