Beit Yosef, Even HaEzer 169:64 · בית יוסף · free full Hebrew text
ומ"ש וכן כתב א"א הרא"ש ז"ל טעם שצריך לדחוק רגלו אינו אלא כדי שתהיה טורחת לחלוץ רגלו כו' כלומר וא"כ אינו ענין לאידך מימרא דמאן דמסגי אלוחתא דכרעיה לא חליץ: