https://sasamath.com/blog/articles/hartogs-extension-theorem/