まあそこは自明っちゃ自明やなあ
自明じゃないところがあるとすれば体系数の多項式環がユークリッド整域なところやで
きみセンスないわ