更改

此部分主要包括两个关键定理的证明：

此部分主要包括两个关键定理的证明：

一、宏观EI的变分下界：对于给定的 q 值，由式{{EquationNote|3}}定义的无约束目标函数是式{{EquationNote|1}}中定义的约束目标函数的下界。

一、宏观EI的变分下界：对于给定的 q 值，由式{{EquationNote|3}}定义的无约束目标函数优化等价于优化式{{EquationNote|1}}中定义的约束目标函数的下界。

二、编码器的通用逼近定理：对于任何连续函数<math>

二、编码器的通用逼近定理：对于任何连续函数<math>