ｐ進距離の定義って何だったっけ？

m,nを整数とするとき、m=nならばd(m,n)=0、
そうでなければm-n = j・p^k（jはpで割りきれない）としたとき
d(m,n)=exp(-k)

これでいい？
むかし演習で出てきたけど結局何に使うのか分からなかったよ。
全ての３角形が２等辺３角形になるとか・・・