Terminando de demostrar 3.1.1.