is a finite field, is a subfield of , and is a positive integer.

.

Show that is a subfield of containing . Moreover, show that .

Easy enough to show is a subfield of , and I have a proof that assuming that contains , but I do not know why must contain .

Thanks in advance (and afterwards as well, naturally).