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).