In the figure below, given a triangle ABC of circumcenter O and its orthic triangle DEF (AD, BE, and CF are the altitudes of ABC). Prove that OA, OB, and OC are perpendicular to EF, DF, and DE respectively.