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