se tiene finalmente el resultado deseado: