线性规划可行域的顶点一定是