Indeed, by Theorem 5, the set of all points satisfying

can be represented as the following union

where, for every  , there exists

 a scalar analytic function satisfying

an analytic operator-valued function  defined on the set where 
satisfying


Pick . Set