地球の奥深くで形成されたダイヤモンドから新種の鉱物を発見