Cho tam giác đều ABC, (O) là đường tròn ngoại tiếp tam giác ABC. Điểm M thay đổi, thuộc cung nhỏ AC của đường tròn tâm (O) (M khác A và C). CM cắt AB tại E, AM cắt BC tại F. Qua A kẻ đường thẳng song song với BC cắt đường thẳng EF tại D. Chứng minh EF luôn đi qua điểm cố định D khi M thay đổi.