No - you do not need to prove that is closed with respect to inverses, you need to prove that contains inverses - that is . To do this, note that has finite order. So...

Also, it is interesting to note that this theorem does not hold for infinite groups. Can you come up with a counter-example?