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