a)definition of complements theorem
b)definition of angle bisector
c)given
d)angle addition postulate
