Hartogs’ theoremLet U⊂ℂn (n>1) be an open set, and let K be a compact subset of U such that U-K is connected. Then any holomorphic function on U-K extends uniquely to a holomorphic function on U.