https://123dok.net/document/y8gnkgm4-let-open-relatively-compact-subanalytic-subset-analytic-manifold.html