如果一个线性规划问题有可行解，那么它必有最优解。