>>571
よくない。曖昧すぎる。

有限基底が存在したとして
そこに含まれる元の次数を考えてみる。
元は有限個なので次数最大のものが
ある事を利用する。