Para demostrar el teorema, necesitamos un lema previo: