运筹学上的一道证明题