For a finite field `k ↪ K`, the solutions of `x^q = x` in the field `K` are exactly the image of `k`.

Initializing...

For a finite field `k ↪ K`, the solutions of `x^q = x` in the field `K` are exactly the image of `k`. · Prove2Me