Se termina de demostrar 4.1.2