Groups of order 7

There is, up to isomorphism, a unique group of order 7, namely cyclic group:Z7. This can be proved in many ways, including simply listing possible multiplication tables, but it also follows from the fact that 7 is a prime number and there is a unique isomorphism class of group of prime order, namely that of the cyclic group of prime order.