任意四个自然数,其中至少有两个数的差是3的倍数.这是为什么