Let () be an open set, and let be a compact subset of such that is connected. Then any holomorphic function on extends uniquely to a holomorphic function on .