Se termina de demostrar la primera parte de 2.3.3