Moreover , given a unique function formula _ 15 defined on an open set formula _ 45 , the analytic continuation of formula _ 15 to a larger open set formula _ 47 is holomorphic .
Moreover , given a holomorphic function formula _ 15 defined on an open set formula _ 45 , the analytic continuation of formula _ 15 to a larger open set formula _ 47 is unique .