利布拉蒙-谢维尼无结果