Lagrange's theorem
The set of non-zero elements in is an abelian group under the multiplication, of order . By Lagrange's theorem, there exists a divisor of such that for every non-zero in . As the equation has at most solutions in any field, is the lowest possible value for .