CN-SMO 2004 Problem 6

ABC is an isosceles triangle with AB=AC. Point D lies on side BC. Point F is inside $\triangle$ ABC and lies on the circumcircle of triangle ADC. The circumcircle of triangle BDF intersects side AB at point E. Prove that $CD\cdot EF+DF\cdot AE=BD\cdot AF$ .