Korban HaEdah on Jerusalem Talmud Eruvin 5:8:1

מתני' נמצא קל תוכה. משום דיורין:

מעל גבה. שאין שם דיורין ואלו נתנו על גבה לא היו לו אלא אלפיים ממקום עירובו:

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