。若formula_1是光滑函数，则formula_3也是光滑的。特别地，若formula_3为分布意义下的调和函数，则formula_3是光滑的。
意义和推广.外尔引理是数学史上关于椭圆正则性的第一个结果。它可以被推广到一般椭圆算子的情形。