>>595
定理
U 上で定義された正則函数 f1, f2 が I 上で一致するならば、U の全域で一致する。