GeometricSceneA.,B.,C.,D.,E.,O.,P.,{},GeometricAssertionPolygonA.,B.,C.,D.,E.,"Regular",GeometricAssertionAngleBisector[E.,A.,B.],AngleBisectorA.,B.,C.,"Concurrent",O.,GeometricAssertionLineO.,P.,Line[A.,P.,B.],"Perpendicular",CircleThroughP.,O.,CircleThroughP.,O.
