Angle bisector theorem and its converse