Babylonian Talmud, Tractate Sanhedrin

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

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