6.3 Angle bisector theorem proof - Milani Education