Question 63A point E is chosen on the diagonal [BD] of a square ABCD. Let $O_1,O_2$ be the circumcenters of triangles ABE and ADE respectively. Prove that $AO_1EO_2$ is a square.