State/Groups of prime squared order are abelian

 =Proof=