la ejecución del procedimiento después de asignar a la variable Válida