解析関数のゼロの孤立性と分布