Babylonian Talmud, Tractate Sanhedrin

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