肯定,可以将所有自然数分为关于四的四个剩余类,由抽屉原理,必有两个数属于同一个剩余类,他们的差为四的倍数.同一个剩余类：除以四的余数相同