ハドヴィガーの定理
剛体運動の下で不変で連続な、K 上の任意の付値 v は、
v ( S ) = ∑ j = 0 n c j W j ( S ) {\displaystyle v(S)=\sum _{j=0}^{n}c_{j}W_{j}(S)~}
と表示できる。