それは離散付値環である。