רש"י על סוכה · Rashi on Sukkah 51a:7
1ור' ירמיה אמר כו' - לעיל קאי אפלוגתא דרבי יוסי ברבי יהודה ורבנן ופליג אדרב יוסף:
2הכי גרסינן דרבי יוסי סבר שמחה יתירה נמי דוחה שבת הואיל ושמחת מצוה היא ובחליל אין איסור מלאכה אלא שבות בעלמא: