נוסחת הגר״א על מסכת שמחות ז:ד

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