Theorem of angle bisector