标签：若LP问题有可行解，则可行域一定是一个有界的凸多边形(或凸多面体)