Cho tam giác ABC nội tiếp đường tròn tâm O, đường cao BE và CF cắt nhau tại H. Chứng minh đường thẳng qua H vuông góc với EF luôn đi qua một điểm cố định