ハドヴィガーの定理
剛体運動の下で不変で連続、かつ斉 j 次な K 上の任意の付値 v は、Wn-j の定数倍である。