22/04/14 09:22:45 4rat+pCv.net
訂正します：
f(x) の次数最大の各項のうち辞書式順序に関して最大の項を a*x_1^{i_1}*…*x_n^{i_n} とする。
g(x) の次数最大の各項のうち辞書式順序に関して最大の項を b*x_1^{j_1}*…*x_n^{j_n} とする。
f(x) * g(x) の次数最大の各項のうち辞書式順序に関して最大の項は a*b*x_1^{i_1+j_1}*…*x_n^{i_n+j_n} になる。
ゆえに、 f(x) * g(x) ≠ 0 である。