Question

Prove that the set of all the non zero elements in a field is a multiplicative group. Use Lagrange's Theorem to prove that in a finite field of m elements x^m = x for every x.