また、有限体f"q" と自然数 "m" に対しf"q" の "m" 次拡大体は唯一つ存在し、f"q""m" と同型であるということもわかる。