Babylonian Talmud, Tractate Yevamot

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