ネーター環
"A" をネーター環とし formula_2 をその formula_1-進完備化とする。このとき以下は同値である。