Rashi on Sanhedrin 40b:9 · רש"י על סנהדרין · free full Hebrew text
והנה אמת נכון הדבר - בע"ז כתיב וכתיב נמי בעיר הנדחת ומשמע אמת ונכון דרישה וחקירה:
הא חד סרי - שבעה דלעיל וד' דהכא: