>>191
つまり

|A|をｘ0,ｘ1,・・・,ｘ2010
|B|を0、1、・・・、2009
とすると、|A|>|B|となってAからBの単射関数が存在しないということがわかり
|A|のうち少なくとも一組は余りが同じものが存在するからあるi,j（i<j)が存在して
ｘi≡ｘｊ（mod 2010）

ということでしょうか？