Babylonian Talmud, Tractate Hagigah

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