El siguiente resultado será necesario para el teorema deseado.