非空约束集必有基本可行解；

线形规划问题有最优解，则必有一个最优解是基本可行解。