Cho đường tròn (O) có dây AB, M là điểm chính giữa đường tròn. Trên dây AB lấy 2 điểm E, F. Các đường thẳng ME, MF cắt đường tròn tại C, D. Chứng minh: EFDC là tứ giác nội tiếp