楕円曲線のハッセの定理
佐藤・テイト予想(Sato-Tate conjecture)
シューフのアルゴリズム(英語版)(Schoof's algorithm)