函数 就会存在。正式的叙述就是：
一般情形.设formula_31、formula_32和formula_33是三个巴拿赫空间，而formula_34、formula_35分别是formula_31、formula_32上的两个开集。设函数：是一个formula_39的函数（见光滑函数），其中formula_40，并且对于formula_41中的一点formula_42，满足：那么有如下结论：