。
证明.原始的论文是通过演化算符的戴森展开式来完成证明的，而Molinari则将其有效性推广到微扰论成立的范围之外。下面介绍Molinari的方法。在 formula_13 中令 formula_27，由时间演化算符满足的薛定谔方程及条件 formula_29，可以写出方程的形式解先集中考虑 formula_31 的情形，换元后得到，于是有将上式与前面提到的薛定谔方程及其伴式结合就有，formula_36与formula_12 之间的关系式形式上与上式相同，事实上，