Babylonian Talmud, Tractate Yevamot

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