結果 : dual theorem linear programming