でも解がそれだけしかない証明がない気がする……