Clearly since and we have that . Let be fixed and define by . Clearly this is injective since and since is a group we have cancellation and thus . But, every injection from a finite set to itself is a bijection. Thus, since we have that for some . It follows that and since was arbitrary the conclusion follows.