Babylonian Talmud, Tractate Yevamot

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

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