Weil conjectures
These give the first non-trivial cases of the Weil conjectures (proved by Hasse). If is an elliptic curve over a finite field with elements, then the number of points of defined over the field with elements is , where and are complex conjugates with absolute value .