en effet, le Théorème 5 garantit que l'ensemble des points vérifiant

peut s'écrire comme la réunion

où, pour chaque  , il existe
 une fonction analytique telle que

une fonction analytique à valeurs opérateurs  définie sur l'ensemble
des points tels que  qui vérifie


Soit . Posons