agregado avance #4 y ejemplo de notación Z usando Lyx