上がったとこはS入れて下のSを同値撤退すれば良い