Babylonian Talmud, Tractate Yevamot

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