火星の地層にはダイヤモンドがたんまりと埋まってる可能性があるらしいって10年くらい前にテレビで見た