Theorem 3 (i) Among any given integers, there must be two numbers that are congruent modulo ;
(ii) There exist numbers that are pairwise incongruent modulo .
Solution
Proof: Since there are congruence classes modulo given by (1), there must be two numbers among the numbers that belong to the same congruence class modulo . These two numbers are congruent modulo . This proves (i). By selecting a number as a representative in each congruence class , we obtain numbers that are pairwise incongruent modulo . This proves (ii).
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.