Babylonian Talmud, Tractate Bava Batra

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