Babylonian Talmud, Tractate Eruvin

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

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