非アルキメデス的な局所的高さformula_13が消去された局所的高さと置き換わる一般化が存在する。