To prove this, let C be the optimal traveling salesman tour.
証明のため、Cを巡回セールスマン問題の最適解とする。