>>565-566

別にわざわざ後で、証明するまでもなく、この時点で最適解が得られていることは明らかですよね。