מה המקור לאיסור מלאכה בחול המועד?

שאלה

שלום הרב, אפשר מקור (כלומר איפה כתוב) לזה שאסור לעבוד בחול המועד?

שמות כג טו. גמרא חגיגה יח ורש"י ותוספות שם. גמרא פסחים קיח ורשב"ם שם. טור ב"י ושו"ע או"ח סימן תקל ונו"כ.