ここでは解が一個だから結果してよいのだが、その保証はどのように得るのかな。