תוספות יום טוב על משנה יבמות ט:א

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

ואלו מותרות וכו' . תנא ושייר כדמסיק בגמרא:

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