Reference for Chagigah 17:9

לאיי אפנויי מופנה מכדי מאי עצרת עצור בעשיית מלאכה הכתיב (דברים טז, ח) לא תעשה מלאכה עצרת דכתב רחמנא למה לי אלא שמע מינה לאפנויי

Let's see [how it is redundant]. What does "atzeret" - "restraint" mean? Restraint from doing [halachically forbidden] work. But isn't it [already] written, (Deuteronomy 16:8) "You shall not do work"? Why does Scripture say that it [is a day of] "atzeret"? Learn out from this that it is free [for a gezeira shava through its redundancy].

Jastrow