Let be a group and such that and
where is the identity element of the group. Find the order of .
Lemma: If then .
First we multiply with and from right and left respectively. Thus one can see that
Now, we use the main relation and so
By repeating the previous procedure, one can prove the result.
Using the lemma we see that and thus . Since is prime the order of will be either or .