Let $H$ be a complex [Hilbert space](/page/Hilbert%20Space) and let $T \in \mathcal{L}(H)$ be normal. Then there exist an index set $I$ and a mutually orthogonal family $(H_i)_{i \in I}$ of nonzero closed subspaces of $H$ such that each $H_i$ reduces $T$ and