p進数体が、totally disconnectedなのはどうして?