Angle bisector theorem converse.gsp