所有的自然数可分为4n,4n+1,4n+2,4n+3共四类.跟据抽屉原理,任取五个自然数,则至少有两个数被归为同一类(就是前面的四个分类之一),其差值显然为4或4的倍数.