Terminando de demostrar 2.3.3