Si formula_12 es una función de clase "C" sobre la frontera del dominio y formula_13 es una extensión de formula_14 a todo el dominio formula_3 que sea de clase "C", es decir: