Rashi on Chagigah 10a:14 · רש"י על חגיגה · free full Hebrew text
מיכתב כתיבן - טובא אזהרות כתיבי בשבת מאי מקרא מועט דקאמר מתניתין:
לא נצרכא כו' - דבר זה וכיוצא בו רמז מועט יש לו ללמוד מן התורה:
חופר גומא - בונה בנין הוא ואם אינו צריך לה אלא ליטול את העפר אף על פי שהבנין בנוי אינו חייב משום בונה: