従って、"a" の開近傍上で正則で "a" において位数 "n" の零点を持つ "h" が存在し、