בית יוסף, אורח חיים תרסו:ב

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