1万年もたてば、絶対量は500万年分くらいあるんだから
経済的に掘り出す技術くらい考えるだろう。