Sea formula_1 un mapeo continuo de un disco a una tres variedad, supongamos que formula_2, entonces existe un encaje formula_3 cuya restricción