GeometricScene[{{A.,B.,C.,D.,E.,O.},{}},{{GeometricAssertion[{Polygon[{A.,B.,C.,D.,E.}]},"Regular"]},{GeometricAssertion[{AngleBisector[{E.,A.,B.}],AngleBisector[{A.,B.,C.}]},{"Concurrent",O.}]},{CircleThrough[{B.},O.]}},{CircleThrough[{B.},O.]}]
