It's a proof and there's a fill in the blank reason.

A line bisects an angle if it cuts it into two congruent angles. Since the line segment BD forms the angles <4 and <3, and these angles have the same magnitude the postulate that proves this is the definition of an angle bisector