Let ABCABC be an acute triangle and DD an interior point of segment BCBC. Points EE and FF lie in the half-plane determined by the line BCBC containing AA such that DEDE is perpendicular to BEBE and DEDE is tangent to the circumcircle of ACDACD, while DFDF is perpendicular to CFCF and DFDF is tangent to the circumcircle of ABDABD. Prove that the points AA, DD, EE and FF are concyclic.