ביאור הלכה רסד:ו

חוץ מאלו - ושמן של איסור הנאה כגון של ערלה וכדומה אסור לנר שבת דלא שייך מצות לאו ליהנות ניתנו דעיקר המצוה משום עונג הוא ודמי לישיבת סוכה כ"כ הפמ"ג וע"ש עוד מה שכתב בזה: