Babylonian Talmud, Tractate Yevamot

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