Every element of a finite field of order q satisfies x^q = x

Remarks

The proof: the group of units $F^\times$ has order $q - 1$, so $a^{q-1} = 1$ for $a \neq 0$, by Lagrange's theorem. Then $a^q = a$ for all $a$, also for $a = 0$. So the $q$ elements of $F$ are $q$ distinct roots of $x^q - x$, which has degree $q$. This gives the factorisation. For $q = p$ prime, $a^p = a$ in $\mathbb{Z}/p\mathbb{Z}$ is Fermat's little theorem.