Angle bisector theorem (internal)