Please can you help me with this question?

Let G be a group all of whose elements have order two: a^2=1 for every aEG.

(i) Prove that G is abelian

(ii) If G is finite, prove its order is of power of two.

I know that abelian is another way of saying commutative, which I understand this as being when you apply a group operation to two group elements, that the result does not depend on its order.

However, I do not understand how to apply this to my question, and do not understand where a^2=1 will come into it (unless obviously its for part (ii)).

I don't know where to begin on part(ii) and are unsure if part (i) will help me with this.

Any help will be great

Thanks