。设线性泛函 formula_12 将多项式映到若 "m" 为以 ["a", "b"] 为支撑的测度 μ 的矩，则反之，如果 () 为真，则可运用将 formula_15 扩展成 "C"(["a", "b"]) 上的线性泛函，其满足由里斯表示定理，() 成立当且仅当存在以 ["a", "b"] 为支撑的测度 "μ" ，使得对任意的 "f" ∈ "C"(["a", "b"]) 成立。由此可见， formula_11 的存在性等价于 (). 再利用 ["a", "b"] 上的非负多项式的