誰かの定理で局所コンパクト体が結局標準的な局所コンパクト体しかないって定理あったと思うんだけとなんだっけ？
名前がアルファベットで四文字くらいだった記憶がある。
ググっても見つからない。