挖铁矿出钻石的概率是多少哇，都挖那么多铁了