MathNet 2013 Câu hỏi 9

Trong tứ giác lồi $ABCD$, gọi $E$ là giao hai đường chéo. Biết $\angle EDC=\angle DEC=\angle BAD$. Nếu $F$ thuộc đoạn $[BC]$ và $\angle BAF+\angle EBF=\angle BFE$, chứng minh $A,B,F,D$ đồng viên.