ABCD est un quadrilatère convexe inscrit dans un cercle de centre O. Les cercles circonscrits aux triangles ABO et CDO se coupent une deuxième fois au point F. Montrer que le cercle qui passe par A, F et D passe aussi par le point d'intersection des diagonales AC et BD.