The cheapest way to get one is to invoke the spectral theorem and to conclude that normal operators always have non-trivial invariant subspaces.

• 取得这样结果的最省力的尝试是引用光谱定理而得到正规算子恒有非平凡不变子空间的结论。