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