It suffices to prove that has a solution with .
Let .
Let .
If then and . If then it means so . The negative sign is impossible so . Thus distinct elements in that set are not congruent to eachother. Thus, . Using a similar argument we can show . This means altogether and has elements. Thus, by pigeonhole principle there is and such that because the set of remainders mod is size . Thus, .