1.6.51 Fields, Groups, Rings

Condition: to prove that any group of the order 4 is isomorphic either \ (\ mathb {z} _ {4} \), or \ (\ mathbb {z} _ {2} \ times \ mathbb {z} _ {2} \).