ב"ח, חושן משפט ריד:ג

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