位相論だと、杉浦式が普通じゃない?