Angle bisector property