@からDまでを多項式環で同様の議論をしてみよう。