ANGLE BISECTOR THEOREM