そうなったらビルの鉄筋やらを鉱脈がわりにするのでは
まさしく都市鉱山ですわ
鉱山なんぞどこを掘ってもあるわけないリングワールド発祥の連中とかどうやって鉄器時代を抜けたんですかね