一致の定理(wikipediaより)
複素解析において、通常は可算点列上で局所的に一致する2つの正則関数が大域的に一致することを主張する定理