Basic proportionality theorem and angle bisector theorem