运筹学中,当最优解唯一时,为什么最优解也是基本最优解?