>>210
局所コンパクトな体の付値環がコンパクトってどう証明するんですか?