What is the missing reason for line 2 in this proof?  A. addition property of = B. substitution property of = C. definition of segment bisector D. segment addition postulate