А чего там доказывать? В \bar{F_p} ровно по одному подполю размера p^n и вложены они в друг друга понятно как, комбинируя это с мультипликативностью циклической группы мы получим теорему о примитивном элементе в частном случае, а дальше нужно взять его минимальный многочлен для правильной пары подполей