p - 進数体の乗法群の構造より明らか