In isosceles triangle DAC, AD is congruent to AC and AB is an angle bisector of angle DAC. How does Kiran know that AB is a perpendicular bisector of segment CD?