元formula_22的邻域的formula_23，使得任意formula_24，都有formula_25。不失一般性，可以假设formula_26。设formula_27是定义在formula_1上，且支集formula_29的连续实值函数。由乌雷松引理，这样的函数总是存在的。不失一般性，可以假设formula_30且formula_31，因为对任意formula_27总可以通过如下的变换使其满足上述条件：此时，可以证明formula_34为formula_16上的紧自伴算子。利用紧自伴算子的谱定