Comenzando demostración de 2.4.2
Terminando de demostrar 2.4.2.