I l nostro Redentore, il cui nome è l'Eterno degli eserciti, è il Santo d'Israele.
Quanto ao nosso Redentor, o Senhor dos exércitos é o seu nome, o Santo de Israel.