任意四个自然数中,一定存在两个数,他们的差事3的倍数,为什么?