可行解为基可行解的充要条件证明