la_19 皆存在时间 "T" 大于 formula_20 使得 formula_21 其中 formula_22 表示系统于时间 "t" 的态向量。证明的关键如下。系统的状态按下式随时间变化：其中 formula_24 为能量特征值（此处使用自然单位，故约化普朗克常数 formula_25），而 formula_26 为相应的能量特征态。时间 formula_27 和时间 formula_28 的态向量的距离平方为可于某项 "n" = "N" 截尾，而 "N" 不取决于 "T", 因为fo