4 Nuestro Redentor, Jehová de los ejércitos es su nombre, el Santo de Israel.