רש"י על סנהדרין מב:

מתני' נגמר הדין - לחובה:

מוציאין אותו לסקלו - איידי דסקילה רישא דכולהו ארבע מיתות היא מפרש מילי דידה ברישא והדר מפרש שארא בפירקין דלקמן כסדר:

חוץ לבית דין - רחוק מבית דין קצת:

שנאמר הוצא - אלמא לאו במקום הועד קטלוהו: