Babylonian Talmud, Tractate Yevamot

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