Angle Addition and Angle Bisectors