USAMO 2026 (Problem 5)

Let ABCABC be a triangle. Points DD, EE, and FF lie on sides BCBC, CACA, and ABAB, respectively, such that
∠AFE=∠BDF=∠CED.\angle AFE=\angle BDF=\angle CED.
Let OAO_A, OBO_B, and OCO_C be the circumcenters of triangles AFEAFE, BDFBDF, and CEDCED, respectively. Let MM, NN, and OO be the circumcenters of triangles ABCABC, DEFDEF, and OAOBOCO_AO_BO_C, respectively. Prove that OM=ONOM=ON.