Babylonian Talmud, Tractate Sanhedrin

כהן גדול דן ודנין אותו מעיד ומעידין אותו חולץ וחולצין לאשתו ומייבמין את אשתו אבל הוא אינו מייבם מפני שהוא אסור באלמנהמת לו מת אינו יוצא אחר המטה אלא הן נכסין והוא נגלה הן נגלין והוא נכסה ויוצא עמהן עד פתח שער העיר דברי ר"מ רבי יהודה אומר אינו יוצא מן המקדש משום שנאמר ומן המקדש לא יצא וכשהוא מנחם אחרים דרך כל העם עוברין בזה אחר זה והממונה ממצעו בינו לבין העם וכשהוא מתנחם מאחרים כל העם אומרים לו אנו כפרתך והוא אומר להן תתברכו מן השמים וכשמברין אותו כל העם מסובין על הארץ והוא מיסב על הספסלהמלך לא דן ולא דנין אותו לא מעיד ולא מעידין אותו לא חולץ ולא חולצין לאשתו לא מייבם ולא מייבמין לאשתו רבי יהודה אומר אם רצה לחלוץ או לייבם זכור לטוב אמרו לו אין שומעין לו ואין נושאין אלמנתו ר' יהודה אומר נושא המלך אלמנתו של מלך שכן מצינו בדוד שנשא אלמנתו של שאול שנאמר ואתנה לך את בית אדוניך ואת נשי אדוניך בחיקך