Reference for Chullin 160:6

מכדי שמעינן ליה לרבי שמעון דאמר

Accordingly the first [animal] was merely killed; why then should [he who slaughtered] the second have incurred forty stripes?

Jastrow