GeometricSceneA.,B.,C.,O.,D.,E.,F.,G.,H.,L.,M.,P.,Q.,R.,S.,X.,Y.,Z.,{},{CircleThrough[{A.},O.],Triangle[{D.,E.,F.}]},{Line[{G.,E.,D.,H.}]},{Line[{O.,A.}]},{B.∈CircleThrough[{A.},O.],Line[{O.,B.}],PlanarAngle[{B.,O.,A.}]PlanarAngle[{F.,E.,G.}]},{C.∈CircleThrough[{A.},O.],GeometricAssertion[{C.,B.},{"OppositeSides",Line[{O.,A.}]}],Line[{O.,C.}],PlanarAngle[{C.,O.,A.}]PlanarAngle[{F.,D.,H.}]},{GeometricAssertion[{InfiniteLine[{M.,A.,L.}],CircleThrough[{A.},O.]},{"Tangent",A.}]},GeometricAssertionInfiniteLine[P.,B.,Q.],CircleThrough[{A.},O.],{"Tangent",B.},{GeometricAssertion[{InfiniteLine[{R.,C.,S.}],CircleThrough[{A.},O.]},{"Tangent",C.}]},GeometricAssertionInfiniteLine[{M.,L.}],InfiniteLine[P.,Q.],{"Concurrent",X.},GeometricAssertion[{InfiniteLine[{M.,L.}],InfiniteLine[{R.,S.}]},{"Concurrent",Y.}],GeometricAssertionInfiniteLine[{R.,S.}],InfiniteLine[P.,Q.],{"Concurrent",Z.},{GeometricAssertion[{Triangle[{X.,Y.,Z.}],Triangle[{D.,E.,F.}]},"Similar"]}