Exercise 11, § 4

If all the elements of a group $G$ other than the identity element are of order 2, $G$ is commutative; if $G$ is finite, its order $n$ is a power of 2 (argue by induction on $n$).