Musar for Bava Batra 150:4
צדיקים הא דאמרן משיח דכתיב (ירמיהו כג, ו) וזה שמו אשר יקראו ה' צדקנו ירושלים דכתיב (יחזקאל מח, לה) סביב שמונה עשר אלף ושם העיר מיום ה' שמה אל תקרי שמה אלא שמה א"ר אלעזר עתידין צדיקים שאומרים לפניהן קדוש כדרך שאומרים לפני הקב"ה שנאמר (ישעיהו ד, ג) והיה הנשאר בציון והנותר בירושלים קדוש יאמר לו
R. Eleazar said: There will come a time when 'Holy' will be said before the righteous as it is said before the Holy One, blessed be He;<span class="x" onmousemove="('comment',' Cf. Isa. VI, 3. And one called unto another and said: Holy, holy, holy, is the Lord of Hosts, ');"><sup>9</sup></span> for it is said: <i>And it shall come to pass, that he that is left in Zion, and he that remaineth in Jerusalem, 'shall be called Holy</i>.<span class="x" onmousemove="('comment',' Isa. IV, 3. ');"><sup>10</sup></span> Rabbah in the name of R. Johanan further stated: The Holy One, blessed be He, will in time to come lift up Jerusalem three parasangs high; for it is said: <i>And she shall be lifted up, and be settled in her place</i>.<span class="x" onmousemove="('comment',' Zech. XIV, 10. ');"><sup>11</sup></span>