元法的理论基础。
叙述.设那么存在唯一的formula_12，使得对所有formula_13都有formula_14：而且如果formula_16是对称的，那么formula_17是formula_1中唯一的元素，使得以下泛函取最小值formula_19，formula_20对所有formula_13，即：
证明.
一般情形.套用里斯表示定理到连续线性型上，可知存在唯一的formula_23，使得formula_24对任意for