>>363
最後の二行は「アルキメデス局所体Kは」でいいんだよね?