בית יוסף, אבן העזר קסה:ד

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