שולחן ערוך

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