>>343
勝手に(ノルム)位相環係数であることを仮定しているようだけど