>>392
定義は山ほどあるが、定理と言えるのはスペクトル系列の収束性についてくらいでは?