Angle bisector theorem.gsp