結果 : strong duality theorem linear programming