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

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

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