What is the missing reason in the proof?


Given: ∠ABC is a right angle.

Prove: ∠ABC ≅ ∠ABD


definition of angle bisector

segment addition property

definition of congruent angles

transitive property