Hasse–Weil conjecture