19/02/09 15:46:31.28 c3aU14PB.net
>>319
つづき
a0=b0c0 は p で1回のみ割り切れるので b0,c0 のどちらかのみが p の倍数。
b0 が p の倍数としても一般性を失わない。
次に 1 次の係数を比較すると，
a1=b0c1+b1c0
で a1,b0 が p の倍数なので b1 も p の倍数。
以下同様に，係数比較により b2,b3,・・・bk?1 も p の倍数であることが分かる。
最後に ak が p の倍数でないことから bk も p の倍数でない，すなわち bk≠0 が分かる。
すなわち g(x) は k 次以上である。
一見めんどくさそうな定理ですが，3つの条件を確認するのは簡単なので理解すればどうってことない定理です。
(引用終り)
以上