Babylonian Talmud, Tractate Yevamot

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