1つの解はすでに見つかっていたが、今回解が1つだけと証明された