Suppose G=<g>, H=<h>, and |(g,h)|=k. Then so . But then from the properties of the order, both divide ,

so k is a common multiple. Then what we want is the least common multiple of the orders, and that is thus we have found the generator, and the result follows