訂正

>793
>f(X) を mod p で既約多項式に分解して
>f(X) ≡ (g_0(X)^(m_1)...(g_(e-1)(X))^(m_(e-1)) (mod p)
>とする。ここで 各 g_i(X) はモニックで互いに異なる。
>m_1, ..., m_(e-1) は 1 以上の有理整数である。
>f(X) は mod p で Ω において重根をもつから m_1, ..., m_(e-1)
>の中に 2 以上の値をもつものがある。

f(X) を mod p で既約多項式に分解して
f(X) ≡ (g_0(X)^(m_0)...(g_(e-1)(X))^(m_(e-1)) (mod p)
とする。ここで 各 g_i(X) はモニックで互いに異なる。
m_0, ..., m_(e-1) は 1 以上の有理整数である。
f(X) は mod p で Ω において重根をもつから m_0, ..., m_(e-1)
の中に 2 以上の値をもつものがある。