フロイデンタールのスペクトル定理
↑ Luxemburg 1971. Def.38.1
↑ Luxemburg 1971. Thm.40.2