¿Cuál profecía específica, hecha por el profeta Isaías, anuncia que un rey no israelita sería un instrumento de Dios para liberar a Israel, incluso nombrándolo por su nombre siglos antes de su nacimiento?