Definition:External Angle Bisector