External Direct Product of Groups Example: Is ℤ2 ⊕ ℤ2 a Cyclic Group?