רש"י על שבת קכז.

כדאמרי אינשי - חשבון קטן תחילה ואם יצטרך ליותר יפנה יותר משום הכי נקט ד' ברישא והדר חמשה וה"ה אפילו טובא:

שלא יגמור - משום אשוויי גומות: