Babylonian Talmud, Tractate Sanhedrin

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