>>171
昔は、谷山-Weil予想と言うのが普通の言い方でさえあった。