Proof:Forward Direction
Start with using the fact that every element in has a unique inverse, you can pair these elements up to get . Multiplying both sides by you obtain the desired result.
Reverse direction - Proof by contrapositive
Assume is composite then since both must be contained in so . Therefore if , can’t be composite and is therefore prime.