Soit $f\colon Y\to X$ un morphisme entre espaces $k$-affinoïdes et soit $K$ un compact contenu dans $\operatorname{Int}(Y/X)$. Il existe une famille $(f_{1},\ldots,f_{n})$ de fonctions analytiques non nilpotentes sur $Y$ telle que les propriétés suivantes soient satisfaites, en désignant pour tout $i$ par $\rho_{i}$ le rayon spectral de $f_{i}$ :

1. 1.

   Pour tout $y\in K$ et tout $i$ on a $|f_{i}(y)|<\rho_{i}$ ;

2. 2.

   Pour tout $y\in\partial(Y/X)$ il existe $i$ tel que $|f_{i}(y)|=\rho_{i}$.