命題(>>497の複素数体版)
H を局所コンパクト空間 X に右から固有に作用(>>473)する
局所コンパクト群とする。
β を H の 左 Haar 測度(過去スレ012の351)とする。
f を K(X, C) (過去スレ009の21) の元とする。
このとき、f^1(x) = ∫ f(xξ) dβ(ξ) とおくと、
f^1 ∈ K^1(X, C) (>>516) である。

証明
>>497と同様である。