は多項式環のイデアルになる。