命題
体 K の離散付値の同値類と、K を商体とする離散付値環は１対１に
対応する。

証明
簡単なので演習問題とする。