$G_1$ is a group of order $p$ and $G_2$ a group of order $q$, where $p, q$ are primes. Prove that the direct product $G_1\times G_2$ is cyclic.
For $p,q$ prime and $p \neq q$ show that $C_p \times C_q \cong C_{pq}$