Rashi on Sanhedrin 72b:4 · רש"י על סנהדרין · free full Hebrew text
הרוגי בית דין בשבת לא קטלינן - כדאמרינן בפרק אחד דיני ממונות (לעיל סנהדרין דף לה:) מלא תבערו אש בכל מושבותיכם:
קא משמע לן - דקטלינן משום פקוח נפש דהאיך: