معدنى که در ملک ديگرى است
مسأله 1531ـ اگر معدنى را که در ملک ديگرى است استخراج کند، آنچه از آن به دست مى آيد مال صاحب آن زمين است و چون صاحب ملک براى بيرون آوردن آن خرجى نکرده، بايد خمس تمام آنچه از معدن استخراج شده بدهد، ولى اگر اين کار به دستور او انجام گرفته هزينه آن بر عهده اوست و از درآمد معدن کم مى شود.