TeX source:
\angle ACD = \angle BCD