Reference for Bekhorot 118:31

אותם ארבעה אם בפתח הששה יצאו נוטל אחד מהם והשאר מצטרפין לגורן אחר ואם לאו ששה פטורין וארבעה ארבעה מצטרפין לגורן אחר

- Raba thereupon said: [My proof is as follows].

Jastrow

Jastrow