セールのスペクトル系列に層は必要ない(層を使ってもいいけれども)