凸规划的一个重要性质是，凸规划的任何局部极小解一定是（）。