Babylonian Talmud, Tractate Moed Qatan

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