luego la solución del problema original es