Prove the angle bisector theorem