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