（複素）解析性があると局所から大域への移行が自然にできるというのが
肝心要なところなんだが、局所の議論で耳がつんぼになってると誤読する。