Babylonian Talmud, Tractate Yevamot

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