所有的自然数分为4类
被4整除的
被4整除余1的
被4整除余2的
被4整除余3的
选5个数,必然有两个数属于同一类
所以 至少有2个数的差是4的倍数