ちな谷山志村予想が証明されたらなんか世の中に役に立つことあるんか?