任意4个正整数中必有2个之差能被3整除,请证明