Let be an acute triangle with circumcircle . Let be a tangent line to at the point and let , , and be the lines obtained by reflecting in the lines , , and , respectively. Let be the triangle formed by the intersections of , , and . Then the circumcircle of is tangent to the circle .