>>886
でも領域Dで正則であることと解析的であることが同値なのはこれまたすごいだろ