GeometricScene[{{A.,O.,B.,D.,C.,E.},{}},{{CircleThrough[{A.},O.]},{D.∈CircleThrough[{A.},O.],B.∈CircleThrough[{A.},O.],Triangle[{A.,D.,B.}],PlanarAngle[{D.,A.,B.}]PlanarAngle[{D.,B.,A.}]2PlanarAngle[{A.,D.,B.}]},{C.∈CircleThrough[{A.},O.],E.∈CircleThrough[{A.},O.],InfiniteLine[{A.,C.}]AngleBisector[{D.,A.,B.}],InfiniteLine[{B.,E.}]AngleBisector[{D.,B.,A.}]},{Line[{{B.,C.},{C.,D.},{D.,E.},{E.,A.}}]}},{GeometricAssertion[{Polygon[{A.,B.,C.,D.,E.}]},"Regular"]}]
