Con los lemas 11.5.4, 11.5.5 y 11.5.6 se concluye al prueba del teorema 11.5.1.