Babylonian Talmud, Tractate Yevamot

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

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