p 次の有限体の拡大 F_p(a)/F_p において
x^p - x = a^{p-1}
は解を持たないと思うんですが、良い証明とかありますか？