O is the circumcenter of acute triangle ABC, H is the Orthocenter. AD is perpendicular to BC, EF is the perpendicular bisector of AO,D,E on the BC. Prove that the circumcircle of triangle ADE passes through the midpoint of OH.