Let p be a prime number. Then it is known that every group of order p² is abelian. The following is a proof which does not resort to contradiction.