Babylonian Talmud, Tractate Yevamot

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

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