产品formula_3的需求量恰等于支出函数对其价格求偏导的结果：其中formula_5为产品formula_3的，formula_7为消费者的支出函数。
证明.通过带等式约束的包络定理即可证明：其中formula_9为拉格朗日乘数，formula_10为使支出最小的需求量，也即Hicks需求函数。