为正且利润函数可微。该引理首先由哈罗德·霍特林得到，故而得名。
证明.设共有formula_5种商品，第formula_6种商品的价格为formula_7，净供给为formula_8。厂商的利润函数formula_9，根据包络定理