GeometricScene[{{A.,D.,O.,C.,E.,B.,F.},{}},{{CircleThrough[{A.,D.},O.],Line[{A.,O.,D.}]},{CircleThrough[{O.,C.,E.},D.],C.∈CircleThrough[{A.,D.},O.],E.∈CircleThrough[{A.,D.},O.],GeometricAssertion[{C.,E.},"Distinct"]},{Line[{{E.,O.,B.},{C.,O.,F.}}],B.∈CircleThrough[{A.,D.},O.],F.∈CircleThrough[{A.,D.},O.]},{Line[{{A.,B.},{B.,C.},{C.,D.},{D.,E.},{E.,F.},{F.,A.}}]}},{GeometricAssertion[{Polygon[{A.,B.,C.,D.,E.,F.}]},"Regular"]}]
