>>813
例えば前層から層を作るとき、各点の芽に分解してから貼り合わせるみたいなことをするけど、
今の場合、環を何に分解するのかが明示されていない。