いや、だから明晰的でないから証明できてないって宣言してるようなもの
定数を与えないと他の予想が証明できないんでしょ