5个不同的自然数,那么把他们都除以4,会得到5个余数.
一个自然数与4相除,得到的余数的可能性为0,1,2或3 共4种可能
那么在5个余数中,至少有2个余数是相同的,即至少有两个数的差是4的倍数.