Exercise 6, § 3

Tag 02SE, permanent. Cite it as [Bourbaki, Tag 02SE].

Spectral Theories, III, p. 121

Let E be a complex Hilbert space. Let $u$ be an endomorphism of Fredholm of E. If $u$ is normal, then ind( $u$ ) $= 0$ .