1.6.51 Fields, Groups, Rings

condition: Prove that any group of order 4 is isomorphic to either \( \mathbb{Z}_{4} \) or \( \mathbb{Z}_{2} \times \mathbb{Z}_{2} \).