Babylonian Talmud, Tractate Eruvin

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