Angle bisector theorem