素イデアルの積分展開:昇降と収縮