Constructing an angle bisector