We quote the famous
where are algebraic integers.
where is an integer.
It is a profound theorem, relating rational points of over finite fields and topology of .
The following proposition (which is a precursor of the above conjecture) is a special case
where is an integer which satisfies .
For a further study we recommend [1, Appendix C],.