>>566
Hilbert90と同じ事だが、
a^{p-1}トレースを計算して
0にならなければ既約多項式となる。