Let be a prime, let be a nontrivial elementary abelian -group, and let be an automorphism of of -power order. Prove that has nontrivial fixed points.
Note that ; use the inclusion map to construct . Now is a -group, and is normal, so that by Theorem 1, is nontrivial.
Now let with . Then . Comparing entries we see that .