自然数可以分成4类：除以4余0的,余1的,余2的,余3的.
5个不相同的自然数,至少有两个属于同一类,这两个数的差一定是4的倍数.