Angle bisector theorem and converse