The figure shows a cyclic quadrilateral ABCD
with circumcenter O.
Diagonals AC and BD meet at M. If E, F, G, and H are the circumcenters of
triangles AMB, BMC, CMD, and AMD, respectively, prove that the
quadrilaterals EFGH, OEMG, and OFMH are parallelograms.
