4.6 拓展从P1中获得最优解的证明