体Ｋの標数が素数ｐでａがＫに関する不定元のとき
Ｘ＾ｐ−ａはＫ（ａ）［Ｘ］の非分離多項式。