GeometricScene[{{E.,F.,G.,H.,A.,B.,C.,D.,O.},{}},{{GeometricAssertion[{Polygon[{E.,F.,G.,H.}]},"Regular"]},{A.Midpoint[Line[{E.,H.}]],B.Midpoint[Line[{E.,F.}]]},{GeometricAssertion[{Line[{A.,C.}],Line[{E.,F.}]},"Parallel"],Line[{F.,C.,G.}]},{GeometricAssertion[{Line[{B.,D.}],Line[{E.,H.}]},"Parallel"],Line[{H.,D.,G.}],GeometricAssertion[{Line[{B.,D.}],Line[{A.,C.}]},{"Concurrent",O.}]},{CircleThrough[{A.,B.,C.,D.},O.]}},{CircleThrough[{A.,B.,C.,D.},O.]}]
