Se demuestra primero el siguiente resultado general: