Group of Order p q is Cyclic/Proof 2

Proof
Let $H$ be a Sylow $p$-subgroup of $G$.

Let $K$ be a Sylow $q$-subgroup of $G$.

By the Fourth Sylow Theorem, the number of Sylow $p$-subgroups of $G$ is of the form $1 + k p$ and divides $p q$.

We have that $1 + k p$ cannot divide $p$.

Then $1 + k p$ must divide $q$.

But as $q$ is prime, either:
 * $1 + k p = 1$

or:
 * $1 + k p = q$

But:

which contradicts our condition that $p$ does not divide $q - 1$.

Hence $1 + k p = 1$.

Thus there is only one Sylow $p$-subgroup of $G$.

Similarly, there is only one Sylow $q$-subgroup of $G$.

Let the Sylow $p$-subgroup of $G$ be denoted $P$.

Let the Sylow $q$-subgroup of $G$ be denoted $Q$.

We have that:
 * $P \cap Q = \set e$

where $e$ is the identity element of $G$.

Hence in $P \cup Q$ there are $q + p - 1$ elements.

As $p q \ge 2 q > q + p - 1$, there exists a non- identity element in $G$ that is not in $H$ or $K$.

Its order must be $p q$.

Hence, by definition, $G$ is cyclic.