The figure shows a quadrilateral ABCD.
Diagonals AC and BD meet at O. If E, F, G, and H are the circumcenters of
triangles AOB, BOC, COD, and AOD, respectively, prove that (1) EFGH is a
parallelogram, (2) Area of the octagon AEBFCGDH is double the area EFGH.
