If G is a finite goup and let . if then prove that for every there exists [tex]h,k \in A [/tex] such that
For any there exists a unique so that , so we will define . Assume that for any we have i.e. for any . Since by pigeonhole principle there exists two elements, that satisfy but this means , a contradiction.