To prove the theorem, we observe:
Now
So the right-hand side converges to -ℒ(xf(x))-{\mathcal{L}}(xf(x)) as R→∞R\rightarrow\infty. Since the left-hand side converges to dFds\frac{dF}{ds}, this completes the proof.