ヴェイユ予想
最初の2つの性質は によって証明され，ラマヌジャン予想と呼ばれる3つ目は，Deligne により1974年にヴェイユ予想の彼の証明の結果として証明された（具体的には，彼はヴェイユ予想をクガ・サトウ多様体に適用することによって証明した）．