Angle Addition Postulate and Angle Bisectors