“…and thus can be analytically extended to σ 0 (A); we keep the notation F for this extension. As proved in [15], the geometric multiplicity of every eigenvalue μ of B is at most 2; multiplicity 2 is only possible when μ ∈ σ 0 (A) (i.e., when μ = λ n for some n ∈ I 0 ) and, in addition, a n = b n = F (λ n ) = 0. We also observe that when a n = b n = 0, then the subspace ls{v n } is invariant under both B and B * and thus is reducing for B. Denoting by H 0 the closed linear span of all such subspaces, we conclude that H 0 and H H 0 are reducing for B and the operators A and B coincide on H 0 .…”