Sanhedrin 2:1

כֹּהֵן גָּדוֹל דָּן וְדָנִין אוֹתוֹ, מֵעִיד וּמְעִידִין אוֹתוֹ, חוֹלֵץ וְחוֹלְצִין לְאִשְׁתּוֹ, וּמְיַבְּמִין אֶת אִשְׁתּוֹ, אֲבָל הוּא אֵינוֹ מְיַבֵּם, מִפְּנֵי שֶׁהוּא אָסוּר בָּאַלְמָנָה. מֵת לוֹ מֵת, אֵינוֹ יוֹצֵא אַחַר הַמִּטָּה, אֶלָּא הֵן נִכְסִין וְהוּא נִגְלֶה, הֵן נִגְלִין וְהוּא נִכְסֶה, וְיוֹצֵא עִמָּהֶן עַד פֶּתַח הָעִיר, דִּבְרֵי רַבִּי מֵאִיר. רַבִּי יְהוּדָה אוֹמֵר, אֵינוֹ יוֹצֵא מִן הַמִּקְדָּשׁ, שֶׁנֶּאֱמַר (ויקרא כא) וּמִן הַמִּקְדָּשׁ לֹא יֵצֵא. וּכְשֶׁהוּא מְנַחֵם אֲחֵרִים, דֶּרֶךְ כָּל הָעָם עוֹבְרִין בָּזֶה אַחַר זֶה וְהַמְמֻנֶּה מְמַצְּעוֹ בֵּינוֹ לְבֵין הָעָם. וּכְשֶׁהוּא מִתְנַחֵם מֵאֲחֵרִים, כָּל הָעָם אוֹמְרִים לוֹ אָנוּ כַפָּרָתְךָ, וְהוּא אוֹמֵר לָהֶן תִּתְבָּרְכוּ מִן הַשָּׁמָיִם. וּכְשֶׁמַּבְרִין אוֹתוֹ, כָּל הָעָם מְסֻבִּין עַל הָאָרֶץ וְהוּא מֵסֵב עַל הַסַּפְסָל

Sanhedrin 2:2

הַמֶּלֶךְ לֹא דָן וְלֹא דָנִין אוֹתוֹ, לֹא מֵעִיד וְלֹא מְעִידִין אוֹתוֹ, לֹא חוֹלֵץ וְלֹא חוֹלְצִין לְאִשְׁתּוֹ. לֹא מְיַבֵּם וְלֹא מְיַבְּמִין לְאִשְׁתּוֹ. רַבִּי יְהוּדָה אוֹמֵר, אִם רָצָה לַחֲלֹץ אוֹ לְיַבֵּם, זָכוּר לָטוֹב. אָמְרוּ לוֹ, אֵין שׁוֹמְעִין לוֹ. וְאֵין נוֹשְׂאִין אַלְמָנָתוֹ. רַבִּי יְהוּדָה אוֹמֵר, נוֹשֵׂא הַמֶּלֶךְ אַלְמָנָתוֹ שֶׁל מֶלֶךְ, שֶׁכֵּן מָצִינוּ בְדָוִד שֶׁנָּשָׂא אַלְמָנָתוֹ שֶׁל שָׁאוּל, שֶׁנֶּאֱמַר (שמואל ב יב) וָאֶתְּנָה לְךָ אֶת בֵּית אֲדֹנֶיךָ וְאֶת נְשֵׁי אֲדֹנֶיךָ בְּחֵיקֶךָ