对一个有n个变量，m个约束的标准型线性规划问题，其可行域的顶点数恰好为C_n^m个。