Category:P-adic Norm is Norm