Terminando de demostrar 2.3.4.