One corollary of LaGrange's Theorem is that the order of every element in G is a divisor of the order of G, which means it is either order p or order q, since those are the only divisors of |G|. The only other possibility for order of elements is that an element can have order pq, which by definition means it is cyclic. (not so sure on this part, I think that is correct though).