设 P(x)=cx+d,c=0,令 s0=0,si=a1+⋯+ai。区间和 ai+⋯+aj=sj−si−1 对某个整数 k 等于 P(k)=ck+d 当且仅当 sj−si−1≡d(modc)。由于每个整数恰好出现一次,存在无穷多个位置 e 使 ae≡d(mod∣c∣);取其中 ∣c∣+1 个,记为 e1<⋯<e∣c∣+1。因 ael≡d(modc),selmodc 由 sel−1modc 决定,而后者只有 ∣c∣ 种可能取值;由鸽笼原理,存在 p<q 使 sep−1≡seq−1(modc)。