Cho tam giác ABC nội tiếp đường tròn (O), các đường cao AD, BE, CF cắt nhau tại H. Đường thẳng EF cắt đường tròn (O) tại M, N (F nằm giữa M và E). Chứng minh rằng: .