Sefer HaMitzvot, Positive Commandments 82 ספר המצוות, מצוות עשה פ״ב

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