体Fが極大であるとは 0≠⊂K⊂≠Fを満たす体Kが存在しないということですか?