任取4个不同的自然数,必有两个数的差是3的倍数,为什么?

任意自然数都可以写作3n、3n+1、3n+2中的某一种
即任意自然数除以3的余数都是0、1、2中的某一种
因此4个数中,必然有两个数是属于余数相同的,此时他们的差就是3的倍数
如果两个数除以同一个数的余数相同,那么这两个数的差一定是这个数的倍数
这个就是抽屉原理为什么 ? 任意自然数都可以写作3n、3n+1、3n+2中的某一种？如果这四个数差是17、19、25、23怎么办？23-17=6都是差。他们四个数除以三啊，都除不尽。那四个数是任意两个数相减的差。谢谢。我真没看明白你最后这句话………………