自然数可以分成三类：
被3整除,被3除余1,被3除余2,
所以任意4个数,都必有2个数是同一类,他们的差被3整除.
证毕.