证明任意四个不同自然数,至少有两个的差能被3整除