Terminando de demostrar 2.3.2