Babylonian Talmud, Tractate Yevamot

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

אמר ליה לשוויה חללה לא קמיבעיא לי דביאה היא דמשוויה חללה כי קמיבעיא לי והוא אשה בבתוליה יקח מאי קיחה דקדושין בעינן או קיחה דנישואין בעינן אמר ליה הא נמי תניתוה אירס את האלמנה ונתמנה להיות כהן גדול יכנוס שאני התם דכתיב יקח אשה הכא נמי כתיב אשה אחת ולא שתים ומה ראית הא אישתני גופה והא לא אישתני גופה

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