“…The proof of this result is based on the identification of the eigenvalues of finite type of W with the zeros of certain scalar analytic functions, known as the regularized determinants f (λ) := det p (I + T (λ)), see [7,9] for their definition and basic properties. The point is that the set of eigenvalues of finite type of W agrees with the zero set of f , and moreover, ν(λ 0 , W ) = µ f (λ 0 ), the multiplicity of zero of f at λ 0 (see [5,Lemma 3.2] for the rigorous proof). Thereby, the problem is reduced to the study of the zero distributions of certain analytic functions, the latter being a classical topic of complex analysis going back to Jensen [8] and Blaschke [1].…”