If line XY is a bisector, it divided the line YW in half, therefore making ZY equal to ZW
Euclids 1st book proposition 13 states that a line standing on another line makes 2 right angles. therefore <YZW is a right angle because that angle plus <WZX must be equal to 180 and line YW splits the angles in half
