בניהו על סוכה ט׳

1 "חַג הַסֻּכּוֹת שִׁבְעַת יָמִים לַה'", סֻכָּה הָעֲשׂוּיָה לְשֵׁם חַג בָּעִינָן. פירש רש"י ז"ל דכתיב סוכות לה' לשם מצות המלך, נראה לי בס"ד דקדק רש"י ז"ל לומר 'לשם מצות המלך' כי בכתוב קאמר לַהֳ', וכתב מהרש"א ז"ל אותיות מִצְוָה הם אותיות שם הוי"ה, כי י"ה בא"ת ב"ש 'מץ' ולכן כתב רש"י 'לשם מצות המלך' כיון דהכתוב נקיט שם הוי"ה ובו נרמז המצוה.