系可分な実あるいは複素無限次元ヒルベルト空間 "h" 上のすべてのコンパクトな自己共役作用素 "t" に対し、"t" の固有ベクトルと対応する固有値でを満たすようなものからなる、"h" の可算無限個の正規直交基底{"fn"}が存在する。