Given the figure below. What is the theorem or postulate that justifies triangle ABD congruent
to triangle CBD?
