Category:Valuation Ring of Non-Archimedean Division Ring is Clopen