>>321
志村予想では無く、谷山・志村予想と名付けたのが気に入らなかったのじゃろう。